SMTX_NewEqns
DeclareRepresentation
NormalizedElementOfMagmaRingModuloRelations
IMMUTABLE
BaseDomain
AutomorphismGroup
NormalClosure