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.

~=: (%, %) -> Boolean

from BasicType

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.

BasicType

CoercibleTo OutputForm

SetCategory