Commutator

fnla.spad line 32 [edit on github]

A type for basic commutators.

= : (%, %) -> Boolean

from BasicType

coerce : % -> OutputForm

from CoercibleTo(OutputForm)

latex : % -> String

from SetCategory

mkcomm : (%, %) -> %

mkcomm(i, j) is undocumented

mkcomm : Integer -> %

mkcomm(i) is undocumented

~= : (%, %) -> Boolean

from BasicType

BasicType

SetCategory

CoercibleTo(OutputForm)