Magma

naalgc.spad line 1 [edit on github]

Magma is the class of all multiplicative magmas, i.e. sets with a binary operation.

* : (%, %) -> %

a*b is the product of a and b in a set with a binary operation.

= : (%, %) -> Boolean

from BasicType

^ : (%, PositiveInteger) -> %

a^n returns the n-th power of a, defined by repeated squaring.

coerce : % -> OutputForm

from CoercibleTo(OutputForm)

latex : % -> String

from SetCategory

leftPower : (%, PositiveInteger) -> %

leftPower(a, n) returns the n-th left power of a, i.e. leftPower(a, n) := a * leftPower(a, n-1) and leftPower(a, 1) := a.

rightPower : (%, PositiveInteger) -> %

rightPower(a, n) returns the n-th right power of a, i.e. rightPower(a, n) := rightPower(a, n-1) * a and rightPower(a, 1) := a.

~= : (%, %) -> Boolean

from BasicType

CoercibleTo(OutputForm)

SetCategory

BasicType