MagmaΒΆ

naalgc.spad line 1

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
hash: % -> SingleInteger
from SetCategory
hashUpdate!: (HashState, %) -> HashState
from SetCategory
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