Index

AllSmallAntimagmas 1.3-8
AllSubmagmas 1.3-1
AnticommutativityIndex, for IsMagma 1.2-4
AntimagmaGeneratorFilterNonIsomorphicMagmas 1.3-15
AntimagmaGeneratorPossibleDiagonals 1.3-14
AssociativityIndex, for IsMagma 1.2-1
CommutativityIndex, for IsMagma 1.2-3
DiagonalOfMultiplicationTable, for IsMagma 1.2-2
IdSmallAntimagma, for IsMagma 1.2-6
IsAntiassociative, for IsMagma 1.1-1
IsCancellative, for IsMagma 1.1-8
IsLeftAlternative, for IsMagma 1.1-13
IsLeftCancellative, for IsMagma 1.1-6
IsLeftCyclic, for IsMagma 1.1-2
IsLeftDerangementInducted, for IsMagma 1.1-11
IsLeftDistributive, for IsMagma 1.1-4
IsLeftFPFInducted, for IsMagma 1.1-9
IsMagmaAntiisomorphic 1.3-4
IsMagmaIsomorphic 1.3-3
IsRightAlternative, for IsMagma 1.1-14
IsRightCancellative, for IsMagma 1.1-7
IsRightCyclic, for IsMagma 1.1-3
IsRightDerangementInducted, for IsMagma 1.1-12
IsRightDistributive, for IsMagma 1.1-5
IsRightFPFInducted, for IsMagma 1.1-10
LeftOrder, for IsExtLElement 1.2-7
LeftOrdersOfElements, for IsMagma 1.2-9
LeftPower 1.3-6
License .-1
MagmaAntiisomorphism, for IsMagma, IsMagma 1.4-2
MagmaIsomorphism, for IsMagma, IsMagma 1.4-1
MagmaIsomorphismInvariantsMatch 1.3-2
NrSmallAntimagmas 1.3-9
OneSmallAntimagma 1.3-11
ReallyAllSmallAntimagmas 1.3-12
ReallyNrSmallAntimagmas 1.3-13
RightOrder, for IsExtRElement 1.2-8
RightOrdersOfElements, for IsMagma 1.2-10
RightPower 1.3-7
SmallAntimagma 1.3-10
SquaresIndex, for IsMagma 1.2-5
TransposedMagma 1.3-5