Index

3-power associative magma 7.2
abelian subloop 6.3
AdjointGroup, for IsRack 11.7-1
affine quandle 11.3
affine quasigroup 9.4
affine rack 11.2-2
affine right quasigroup 9.4
AffineQuandle 11.3-2
AffineQuasigroup 9.4-4
AffineRack 11.2-4
AffineRightQuasigroup 9.4-3
AllLoopCentralExtensionsInVariety, for IsLoop, IsPosInt, IsList 6.5-5
AllLoopCocyclesInVariety, for IsLoop, IsPosInt, IsList 6.5-4
AllLoopCongruences, for IsLoop 3.7-4
AllLoopsWithMltGroup, for IsGroup 5.5-5
AllLoopsWithMltInGroup, for IsGroup 5.5-1
AllMaximalSubloops, for IsLoop 3.3-7
AllMaximalSubquasigroups, for IsQuasigroup 3.3-7
AllMaximalSubrightquasigroups, for IsRightQuasigroup 3.3-7
AllMinimalSubloops, for IsLoop 3.3-5
AllMinimalSubquasigroups, for IsQuasigroup 3.3-5
AllMinimalSubrightquasigroups, for IsRightQuasigroup 3.3-5
AllNonassociativeLoopsWithMltInGroup, for IsGroup 5.5-2
AllNormalSubloops, for IsLoop 3.8-1
AllQuasigroupCongruences, for IsQuasigroup 3.7-4
AllRightQuasigroupCongruences, for IsRightQuasigroup 3.7-4
AllSubloops, for IsLoop 3.3-3
AllSubquandles, for IsQuandle 11.5-3
AllSubquasigroups, for IsQuasigroup 3.3-3
AllSubracks, for IsRack 11.5-3
AllSubrightquasigroups, for IsRightQuasigroup 3.3-3
alternative magma 7.2
antiautomorphic inverse property 7.5-4
AreEqualIsomorphismDiscriminators, for IsList, IsList 8.3-2
AreEqualIsotopismDiscriminators, for IsList, IsList 9.5-2
ArePossiblyIsotopicRightQuasigroups, for IsRightQuasigroup, IsRightQuasigroup 9.5-3
arithmetic form of affine (right) quasigroup 9.4
AsCanonicalPerm, for IsMapping 4.3-3
AsCanonicalTransformation, for IsMapping 4.4-3
AsLoop, for IsDomain 2.2-2
AsParentPerm, for IsMapping 4.3-4
AsParentTransformation, for IsMapping 4.4-4
AsQuasigroup, for IsDomain 2.2-2
AsRightQuasigroup, for IsDomain 2.2-2
AsRightQuasigroupMapping, for IsRightQuasigroup, IsRightQuasigroup, IsTransformation 4.2-2
associated right Bruck loop 10.1
AssociatedLeftBruckLoop, for IsLeftBolLoop 10.1-1
AssociatedRightBruckLoop, for IsRightBolLoop 10.1-1
associative magma 7.2
Associator, for IsRightQuasigroupElement, IsRightQuasigroupElement, IsRightQuasigroupElement 1.5-6
associator subloop 6.3-1
AssociatorSubloop, for IsLoop 6.3-1
AsSquareTable, for IsList 6.4-4
automorphic inverse property 7.5-4
automorphic loop 7.9-4
AutomorphicLoop, for IsPosInt, IsPosInt 12.12-1
AutomorphicLoops 12.12-2
automorphism, of right quasigroups 8.1
AutomorphismGroup, for IsRightQuasigroup 8.4-1
autotopism, right quasigroups 9.1
AutotopismGroup, for IsRightQuasigroup 9.6-4
AutotopismRightQuasigroup 9.1-5
C loops 7.6
canonical right quasigroup 1.8
CanonicalCopy, for IsRightQuasigroup 1.8-5
CategoryOfRightQuasigroup, for IsRightQuasigroup 1.2-4
Cayley table 2.4-1
CayleyTable, for IsRightQuasigroup 2.4-2
CCLoop, for IsPosInt, IsPosInt 12.8-3
CCLoops 12.8-4
center 6.1
Center, for IsRightQuasigroup 6.1-3
CentralExtensionByNormalSubloop, for IsLoop, IsLoop 6.4-6
ChangeUnderlyingSet, for IsRightQuasigroup, IsCollection 1.4-3
CheinLoop, for IsGroup 10.3-1
classically solvable loop 6.3
cocycle 6.4
code loop 7.9-1
CodeLoop, for IsPosInt, IsPosInt 12.6-1
CodeLoops 12.6-2
commutant 6.1
Commutant, for IsRightQuasigroup 6.1-2
commutative magma 7.2
Commutator, for IsRightQuasigroupElement, IsRightQuasigroupElement 1.5-5
CommutatorOfNormalSubloops, for IsLoop, IsLoop, IsLoop 6.3-6
ComponentOfHomotopism, for IsRightQuasigroupHomotopism, IsInt 9.1-2
congruence 3.7
congruence solvable loop 6.3
CongruenceDerivedLength, for IsLoop 6.3-10
CongruenceDerivedSeriesOfLoop, for IsLoop 6.3-9
conjugacy closed loop 7.8
ConjugacyClosedLoop, for IsPosInt, IsPosInt 12.8-3
ConjugacyClosedLoops 12.8-4
ConjugationQuandle 11.3-7
ConnectedQuandle, for IsPosInt, IsPosInt 12.16-1
ConnectedQuandles 12.16-2
ConstructorStyle, for IsBool, IsBool 2.1-2
CoreOfGroup, for IsGroup 11.3-4
CoreOfRightBolLoop, for IsRightBolLoop 11.3-5
CyclicRack, for IsPosInt 11.2-2
derived subloop 6.3-3
DerivedLength, for IsLoop 6.3-5
DerivedSeriesOfLoop, for IsLoop 6.3-4
DerivedSubloop, for IsLoop 6.3-3
diassociative magma 7.2
DihedralQuandle, for IsPosInt 11.3-3
DisplayLibraryInfo, for IsString 12.2-1
division, left 1.2
    right 1.2
endomorphism, of right quasigroups 8.1
exact group factorization 10.1-2
extension 6.4
    central 6.4
    nuclear 6.4
extra loops 7.6
FactorLoop, for IsEquivalenceRelation 3.9-1
FactorQuasigroup, for IsEquivalenceRelation 3.9-1
FactorRightQuasigroup, for IsEquivalenceRelation 3.9-1
flexible magma 7.2
Frattini subalgebra 6.6
Frattini subloop 6.6
FrattiniSubloop, for IsLoop 6.6-3
FrattiniSubquasigroup, for IsQuasigroup 6.6-2
FrattiniSubrightquasigroup, for IsRightQuasigroup 6.6-1
Galkin quandle 11.3-5
GalkinQuandle, for IsGroup, IsGroup, IsMapping 11.3-6
GeneratorsSmallest, for IsRightQuasigroup 1.9-2
group with triality 10.2
HasAntiautomorphicInverseProperty, for IsLoop 7.5-4
HasAutomorphicInverseProperty, for IsLoop 7.5-4
HasInverseProperty, for IsLoop 7.5-2
HasLeftInverseProperty, for IsLoop 7.5-2
HasRightInverseProperty, for IsLoop 7.5-2
HasTwosidedInverses, for IsLoop 7.5-1
HasWeakInverseProperty, for IsLoop 7.5-3
homomorphis, of right quasigroups 8.1
homotopism, right quasigroups 9.1
HomotopismRightQuasigroups, for IsMapping, IsMapping, IsMapping 9.1-4
idempotent magma 7.2
identity of Bol-Moufang type 7.6
IdentityAutotopism, for IsRightQuasigroup 9.1-6
index based right quasigroup 1.1 1.8
IndexBasedCopy, for IsRightQuasigroup 1.8-3
inner mapping group 5.3
inner mappings 5.3
InnerMappingGroup, for IsLoop 5.3-2
InterestingLoop, for IsPosInt, IsPosInt 12.13-1
InterestingLoops 12.13-2
inverse property 7.5-2
Is3PowerAssociative, for IsMagma 7.2-1
IsAbelianNormalSubloop, for IsLoop, IsLoop 6.3-7
IsAffineQuandleArithmeticForm, for IsPosInt, IsInt 11.3-1
IsAffineQuasigroupArithmeticForm 9.4-2
IsAffineRackArithmeticForm, for IsPosInt, IsInt, IsInt, IsInt 11.2-3
IsAffineRightQuasigroupArithmeticForm 9.4-1
IsAlternative, for IsMagma 7.2-1
IsAssociative, for IsRightQuasigroup 7.2-1
IsAutomorphicLoop, for IsLoop 7.9-4
IsAutotopismLoops 9.1-9
IsAutotopismQuasigroups 9.1-9
IsAutotopismRightQuasigroups 9.1-9
IsBijective, for IsRightQuasigroupHomotopism 9.1-3
IsCanonical, for IsRightQuasigroup 1.8-4
IsCanonicalPerm, for IsRightQuasigroup, IsPerm 4.3-1
IsCanonicalTransformation, for IsRightQuasigroup, IsRightQuasigroup, IsTransformation 4.4-1
IsCLoop, for IsLoop 7.6-1
IsCodeLoop, for IsLoop 7.9-1
IsCommutative, for IsRightQuasigroup 7.2-1
IsCongruenceSolvableLoop, for IsLoop 6.3-8
IsConjugacyClosedLoop, for IsLoop 7.8-1
IsConnectedQuandle, for IsRightQuasigroup 11.1-3
IsConnectedRack, for IsRightQuasigroup 11.1-3
IsDiassociative, for IsMagma 7.2-1
IsEntropic, for IsQuasigroup 7.4-4
IsExactGroupFactorization, for IsGroup, IsGroup, IsGroup 10.1-2
IsExtraLoop, for IsLoop 7.6-1
IsFaithfulQuandle, for IsRightQuasigroup 11.1-7
IsFaithfulRack, for IsRightQuasigroup 11.1-7
IsFaithfulRightQuasigroup, for IsRightQuasigroup 7.3-1
IsFlexible, for IsMagma 7.2-1
IsHomogeneousQuandle, for IsRightQuasigroup 11.1-2
IsHomogeneousRack, for IsRightQuasigroup 11.1-2
IsHomotopismLoops 9.1-7
IsHomotopismQuasigroups 9.1-7
IsHomotopismRightQuasigroups 9.1-7
IsIdempotent, for IsMagma 7.2-1
IsIndexBased, for IsRightQuasigroup 1.8-2
IsInjective, for IsRightQuasigroupHomotopism 9.1-3
IsIsotopicToAbelianGroup, for IsQuasigroup 5.4-4
IsIsotopicToGroup, for IsQuasigroup 5.4-3
IsIsotopismLoops 9.1-8
IsIsotopismQuasigroups 9.1-8
IsIsotopismRightQuasigroups 9.1-8
IsLatinQuandle, for IsRightQuasigroup 11.1-4
IsLatinRack, for IsRightQuasigroup 11.1-4
IsLCLoop, for IsLoop 7.6-1
IsLeftAlternative, for IsMagma 7.2-1
IsLeftAutomorphicLoop, for IsLoop 7.9-4
IsLeftBolLoop, for IsLoop 7.6-1
IsLeftBruckLoop, for IsLoop 7.9-3
IsLeftConjugacyClosedLoop, for IsLoop 7.8-1
IsLeftNuclearSquareLoop, for IsLoop 7.6-1
IsLeftPowerAlternative, for IsLoop 7.7-1
IsLeftQuasigroupMagma, for IsMagma 2.2-1
IsLeftSelfDistributive, for IsMagma 7.2-1
IsLoop, for IsQuasigroup and IsMultiplicativeElementWithInverseCollection 1.2-3
IsLoopAutomorphism, for IsMapping 8.1-4
IsLoopCayleyTable, for IsRectangularTable 2.4-4
IsLoopCocycle, for IsLoop, IsLoop, IsRectangularTable 6.4-1
IsLoopCongruence, for IsEquivalenceRelation 3.7-1
IsLoopElement, for IsQuasigroupElement and IsMultiplicativeElementWithInverse 1.2-3
IsLoopElmRep, for IsPositionalObjectRep and IsMultiplicativeElementWithInverse 1.2-3
IsLoopEndomorphism, for IsMapping 8.1-3
IsLoopFunction 2.5-4
IsLoopHomomorphism, for IsMapping 8.1-1
IsLoopIsomorphism, for IsMapping 8.1-2
IsLoopMagma, for IsMagma 2.2-1
IsLoopMapping, for IsMapping 4.2-1
IsLoopRightFolder, for IsRightTransversal 2.7-1
IsLoopRightSection, for IsCollection, IsCollection 2.6-1
IsMaximalSubloop, for IsLoop, IsLoop 3.3-6
IsMaximalSubquasigroup, for IsQuasigroup, IsQuasigroup 3.3-6
IsMaximalSubrightquasigroup, for IsRightQuasigroup , IsRightQuasigroup 3.3-6
IsMiddleAutomorphicLoop, for IsLoop 7.9-4
IsMiddleNuclearSquareLoop, for IsLoop 7.6-1
IsMinimalSubloop, for IsLoop 3.3-4
IsMinimalSubquasigroup, for IsQuasigroup 3.3-4
IsMinimalSubrightquasigroup, for IsRightQuasigroup 3.3-4
IsMoufangLoop, for IsLoop 7.6-1
IsNilpotentLoop, for IsLoop 6.2-2
IsNuclearSquareLoop, for IsLoop 7.6-2
isomorph 8.2
isomorphism, of right quasigroups 8.1
IsomorphismDiscriminator, for IsRightQuasigroup 8.3-1
IsomorphismLoops, for IsLoop, IsLoop 8.3-3
IsomorphismQuandles, for IsQuandle, IsQuandle 11.6-1
IsomorphismQuasigroups, for IsQuasigroup, IsQuasigroup 8.3-3
IsomorphismRacks, for IsRack, IsRack 11.6-1
IsomorphismRightQuasigroups, for IsRightQuasigroup, IsRightQuasigroup 8.3-3
IsOsbornLoop, for IsLoop 7.8-2
isotope 9.3
isotopism, right quasigroups 9.1
IsotopismDiscriminator, for IsRightQuasigroup 9.5-1
IsotopismLoops, for IsLoop, IsLoop, IsString 9.5-6
IsotopismQuasigroups, for IsQuasigroup, IsQuasigroup, IsString 9.5-5
IsotopismRightQuasigroups, for IsRightQuasigroup, IsRightQuasigroup, IsString 9.5-4
IsParentPerm, for IsRightQuasigroup, IsPerm 4.3-2
IsParentTransformation, for IsRightQuasigroup, IsRightQuasigroup, IsTransformation 4.4-2
IsPermutationalQuandle, for IsRightQuasigroup 11.1-6
IsPermutationalRack, for IsRightQuasigroup 11.1-6
IsPowerAlternative, for IsLoop 7.7-1
IsPowerAssociative, for IsMagma 7.2-1
IsProjectionQuandle, for IsRightQuasigroup 11.1-5
IsProjectionRack, for IsRightQuasigroup 11.1-5
IsProjectionRightQuasigroup, for IsRightQuasigroup 7.3-2
IsQuandle, for IsRightQuasigroup 11.1-1
IsQuandleEnvelope, for IsGroup, IsList, IsList 11.4-1
IsQuasigroup, for IsRightQuasigroup and IsQuasigroupAux 1.2-2
IsQuasigroupAutomorphism, for IsMapping 8.1-4
IsQuasigroupCayleyTable, for IsRectangularTable 2.4-4
IsQuasigroupCongruence, for IsEquivalenceRelation 3.7-1
IsQuasigroupElement, for IsRightQuasigroupElement and IsQuasigroupElementAux 1.2-2
IsQuasigroupElmRep, for IsPositionalObjectRep and IsMultiplicativeElement 1.2-2
IsQuasigroupEndomorphism, for IsMapping 8.1-3
IsQuasigroupFunction 2.5-3
IsQuasigroupHomomorphism, for IsMapping 8.1-1
IsQuasigroupIsomorphism, for IsMapping 8.1-2
IsQuasigroupMagma, for IsMagma 2.2-1
IsQuasigroupMapping, for IsMapping 4.2-1
IsQuasigroupRightFolder, for IsRightTransversal 2.7-1
IsQuasigroupRightSection, for IsCollection, IsCollection 2.6-1
IsRack, for IsRightQuasigroup 11.1-1
IsRackEnvelope, for IsGroup, IsList, IsList 11.4-1
IsRCLoop, for IsLoop 7.6-1
IsRightAlternative, for IsMagma 7.2-1
IsRightAutomorphicLoop, for IsLoop 7.9-4
IsRightBolLoop, for IsLoop 7.6-1
IsRightBruckLoop, for IsLoop 7.9-3
IsRightConjugacyClosedLoop, for IsLoop 7.8-1
IsRightFolder, for IsRightTransversal 2.7-1
IsRightNuclearSquareLoop, for IsLoop 7.6-1
IsRightPowerAlternative, for IsLoop 7.7-1
IsRightQuasigroup, for IsMagma and IsRightQuasigroupAux 1.2-1
IsRightQuasigroupAutomorphism, for IsMapping 8.1-4
IsRightQuasigroupCayleyTable, for IsRectangularTable 2.4-4
IsRightQuasigroupCongruence, for IsEquivalenceRelation 3.7-1
IsRightQuasigroupElement, for IsMultiplicativeElement 1.2-1
IsRightQuasigroupElmRep, for IsPositionalObjectRep and IsMultiplicativeElement 1.2-1
IsRightQuasigroupEndomorphism, for IsMapping 8.1-3
IsRightQuasigroupFunction 2.5-2
IsRightQuasigroupHomomorphism, for IsMapping 8.1-1
IsRightQuasigroupHomotopism, for IsMultiplicativeElementWithInverse 9.1-1
IsRightQuasigroupIsomorphism, for IsMapping 8.1-2
IsRightQuasigroupMagma, for IsMagma 2.2-1
IsRightQuasigroupMapping, for IsMapping 4.2-1
IsRightSection, for IsCollection, IsCollection 2.6-1
IsRightSelfDistributive, for IsMagma 7.2-1
IsSelfDistributive, for IsMagma 7.2-1
IsSemisymmetric, for IsQuasigroup 7.4-1
IsSimpleLoop, for IsLoop 3.8-2
IsSimpleQuasigroup, for IsQuasigroup 3.8-2
IsSimpleRightQuasigroup, for IsRightQuasigroup 3.8-2
IsSolvableLoop, for IsLoop 6.3-2
IsSteinerLoop, for IsLoop 7.9-2
IsSteinerQuasigroup, for IsQuasigroup 7.4-3
IsSubloop, for IsLoop, IsLoop 3.3-1
IsSubquandle, for IsQuandle, IsQuandle 11.5-1
IsSubquasigroup, for IsQuasigroup, IsQuasigroup 3.3-1
IsSubrack, for IsRack, IsRack 11.5-1
IsSubrightquasigroup, for IsRightQuasigroup, IsRightQuasigroup 3.3-1
IsSurjective, for IsRightQuasigroupHomotopism 9.1-3
IsTotallySymmetric, for IsQuasigroup 7.4-2
IsUnipotent, for IsMagma 7.2-1
ItpSmallLoop, for IsPosInt, IsPosInt 12.17-1
ItpSmallLoops 12.17-2
KernelOfLoopHomomorphism, for IsMapping 8.1-7
KernelOfLoopHomomorphismNC, for IsMapping 8.1-7
KernelRelationOfMapping, for IsMapping 8.1-6
LC loops 7.6
LCCLoop, for IsPosInt, IsPosInt 12.8-1
LCCLoops 12.8-2
left alternative magma 7.2
left automorphic loop 7.9-4
left Bol loops 7.6
left Bruck loop 7.9-3
left conjugacy closed loop> 7.8
left coset 3.4-1
left inner mapping 5.3
left inner mapping group 5.3
left inverse 1.5-3
left inverse property 7.5-2
left multiplication group 5.2
left nuclear square loops 7.6
left nucleus 6.1
left self-distributive magma 7.2
left transversal 3.4-1
LeftBolLoop, for IsPosInt, IsPosInt 12.3-1
LeftBolLoops 12.3-2
LeftBruckLoop, for IsPosInt, IsPosInt 12.4-1
LeftBruckLoops 12.4-2
LeftConjugacyClosedLoop, for IsPosInt, IsPosInt 12.8-1
LeftConjugacyClosedLoops 12.8-2
LeftDisplacementGroup, for IsQuasigroup 5.4-2
LeftDivisionCayleyTable, for IsQuasigroup 2.4-2
LeftDivisionFunction, for IsQuasigroup 2.5-5
LeftDivisionTable, for IsQuasigroup 2.4-2
LeftDivisionTableFromMultiplicationTable, for IsRectangularTable 2.4-3
LeftInnerMapping, for IsQuasigroup, IsQuasigroupElement, IsQuasigroupElement 5.3-1
LeftInnerMappingGroup, for IsLoop 5.3-2
LeftInverse, for IsLoopElement 1.5-3
LeftMultiplicationGroup, for IsQuasigroup 5.2-1
LeftMultiplicationSemigroup, for IsRightQuasigroup 5.2-2
LeftNegDisplacementGroup, for IsQuasigroup 5.4-2
LeftNucleus, for IsRightQuasigroup 6.1-1
LeftPosDisplacementGroup, for IsQuasigroup 5.4-2
LeftQuotient, for IsQuasigroupElement, IsQuasigroupElement 1.5-2
LeftSection, for IsRightQuasigroup 5.1-3
LeftTranslation, for IsRightQuasigroup, IsObject 5.1-2
LeftTransversal, for IsRightQuasigroup, IsRightQuasigroup 3.4-2
LibraryAlgebra, for IsString, IsPosInt, IsPosInt 12.2-2
LibraryAlgebras 12.2-3
loop 1.2
Loop 3.5-1
loop, octonion 12.5
    Paige 12.10
    sedenion 12.13
loop congruence 3.7
loop function 2.5
loop right folder 2.7
loop right section 2.6
LoopByCayleyTable, for IsRectangularTable 2.4-6
LoopByCentralExtension, for IsLoop, IsLoop, IsRectangularTable 6.4-3
LoopByCyclicModification 10.3-2
LoopByDihedralModification 10.3-3
LoopByFunction 2.5-8
LoopByGenerators 3.5-2
LoopByNuclearExtension, for IsLoop, IsLoop, IsList, IsRectangularTable 6.4-2
LoopByRightFolder, for IsRightTransversal 2.7-2
LoopByRightSection, for IsCollection, IsCollection 2.6-2
LoopCoboundaries, for IsLoop, IsPosInt 6.5-2
LoopCocyclesInVariety, for IsLoop, IsPosInt, IsList 6.5-1
LoopCocyclesModAction, for IsLoop, IsPosInt, IsList, IsList 6.5-3
LoopCongruenceByPairs, for IsLoop, IsList 3.7-3
LoopCongruenceByPartition, for IsLoop, IsList 3.7-2
LoopHomomorphismByImages, for IsLoop, IsLoop 8.1-5
LoopIsomorph 8.2-1
LoopIsotope 9.3-3
LoopSatisfiesIdentity, for IsLoop, IsString 7.1-2
LoopsUpToIsomorphism, for IsList 8.3-4
LoopsUpToIsotopism, for IsList, IsString 9.5-7
LoopTermFromString, for IsString 7.1-1
LoopTwist 9.2-1
LoopWithGenerators 3.5-3
LowerCentralSeriesOfLoop, for IsLoop 6.2-4
maximal subloop 3.3-5
maximal suquasigroup 3.3-5
maximal surightquasigroup 3.3-5
middle automorphic loop 7.9-4
middle inner mapping 5.3
middle inner mapping group 5.3
middle nuclear square loops 7.6
middle nucleus 6.1
MiddleInnerMapping, for IsQuasigroup, IsQuasigroupElement 5.3-1
MiddleInnerMappingGroup, for IsQuasigroup 5.3-2
MiddleNucleus, for IsRightQuasigroup 6.1-1
minimal subloop 3.3-3
minimal subquasigroup 3.3-3 3.3-3
modification, cyclic 10.3-2
    dihedral 10.3-3
    Moufang 10.3
Moufang loops 7.6
MoufangLoop, for IsPosInt, IsPosInt 12.5-1
MoufangLoops 12.5-2
multiplication 1.2
multiplication group 5.2
multiplication table 2.4-1
MultiplicationFunction, for IsRightQuasigroup 2.5-5
MultiplicationGroup, for IsQuasigroup 5.2-1
MultiplicationTable, for IsRightQuasigroup 2.4-2
NaturalHomomorphismByCongruence, for IsEquivalenceRelation 8.1-8
NaturalHomomorphismByCongruenceNC, for IsEquivalenceRelation 8.1-8
NaturalHomomorphismByNormalSubloop, for IsLoop, IsLoop 8.1-9
NaturalHomomorphismByNormalSubloopNC, for IsLoop, IsLoop 8.1-9
nilpotency class 6.2
NilpotencyClassOfLoop, for IsLoop 6.2-1
nilpotent loop 6.2
NilpotentLoop, for IsPosInt, IsPosInt 12.11-1
NilpotentLoops 12.11-2
non-generator 6.6
normal subloop 3.8
normalized quasigroup Cayley table 2.4-5
normalized right quasigroup Cayley table 2.4-5
NormalizedQuasigroupCayleyTable, for IsRectangularTable 2.4-5
NormalizedRightQuasigroupCayleyTable, for IsRectangularTable 2.4-5
Nuc, for IsRightQuasigroup 6.1-1
nuclear square loop 7.6-2
NuclearExtensionByNormalSubloop, for IsLoop, IsLoop 6.4-5
nucles 6.1
octonion loop 12.5
One, for IsLoopElement 1.5-3
OneLoopWithMltGroup, for IsGroup 5.5-6
OneLoopWithMltInGroup, for IsGroup 5.5-3
OneNonassociativeLoopWithMltInGroup, for IsGroup 5.5-4
opposite quasigroup 3.2
OppositeLoop, for IsLoop 3.2-1
OppositeQuasigroup, for IsQuasigroup 3.2-1
Osborn loop 7.8-2
Paige loop 12.10
PaigeLoop, for IsPosInt 12.10-1
PaigeLoops 12.10-2
parent 1.7
ParentInd, for IsRightQuasigroup 1.8-1
permutation, canonical 4.1
    parent 4.1
PermutationalRack, for IsPosInt, IsPerm 11.2-1
power alternative loop 7.7
power associative 1.5-4
power associative magma 7.2
principal loop isotope 9.3
PrincipalLoopIsotope, for IsQuasigroup, IsQuasigroupElement, IsQuasigroupElement 9.3-4
ProjectionRightQuasigroup, for IsCollection 2.8-1
quandle 11.
Quandle 11.5-4
quandle envelope 11.4
QuandleByGenerators 11.5-4
QuandleByQuandleEnvelope, for IsGroup, IsList, IsList 11.4-3
QuandleEnvelope, for IsQuandle 11.4-2
QuandlesUpToIsomorphism, for IsList 11.6-2
QuandleWithGenerators 11.5-4
quasigroup 1.2
Quasigroup 3.5-1
quasigroup, left 1.2
    right 1.2
quasigroup congruence 3.7
quasigroup function 2.5
quasigroup right folder 2.7
quasigroup right section 2.6
QuasigroupByCayleyTable, for IsRectangularTable 2.4-6
QuasigroupByFunction 2.5-7
QuasigroupByGenerators 3.5-2
QuasigroupByRightFolder, for IsRightTransversal 2.7-2
QuasigroupByRightSection, for IsCollection, IsCollection 2.6-2
QuasigroupCongruenceByPairs, for IsQuasigroup, IsList 3.7-3
QuasigroupCongruenceByPartition, for IsQuasigroup, IsList 3.7-2
QuasigroupHomomorphismByImages, for IsQuasigroup, IsQuasigroup 8.1-5
QuasigroupIsomorph 8.2-1
QuasigroupIsotope 9.3-2
QuasigroupSatisfiesIdentity, for IsQuasigroup, IsString 7.1-2
QuasigroupsUpToIsomorphism, for IsList 8.3-4
QuasigroupsUpToIsotopism, for IsList, IsString 9.5-7
QuasigroupTermFromString, for IsString 7.1-1
QuasigroupTwist 9.2-1
QuasigroupWithGenerators 3.5-3
rack 11.
Rack 11.5-4
rack, connected 11.
    homogeneous 11.
    latin 11.
rack envelope 11.4
RackByGenerators 11.5-4
RackByRackEnvelope, for IsGroup, IsList, IsList 11.4-3
RackEnvelope, for IsRack 11.4-2
RacksUpToIsomorphism, for IsList 11.6-2
RackWithGenerators 11.5-4
RandomLoop, for IsCollection 2.9-2
RandomNilpotentLoop, for IsList 2.9-3
RandomQuasigroup, for IsCollection 2.9-2
RandomRightQuasigroup, for IsCollection 2.9-1
Range, for IsRightQuasigroupHomotopism 9.1-2
RC loops 7.6
RCCLoop, for IsPosInt, IsPosInt 12.8-1
RCCLoops 12.8-2
relative left multiplication group 5.2
relative multiplication group 5.2
relative right multiplication group 5.2
RelativeLeftMultiplicationGroup, for IsQuasigroup, IsQuasigroup 5.2-3
RelativeMultiplicationGroup, for IsQuasigroup, IsQuasigroup 5.2-3
RelativeRightMultiplicationGroup, for IsRightQuasigroup, IsRightQuasigroup 5.2-3
right alternative magma 7.2
right automorphic loop 7.9-4
right Bol loops 7.6
right Bruck loop 7.9-3
right conjugacy closed loop 7.8
right coset 3.4
right folder 2.7
right inner mapping 5.3
right inner mapping group 5.3
right inverse 1.5-3
right inverse property 7.5-2
right multiplication group 5.2
right nuclear square loops 7.6
right nucleus 6.1
right power alternative loop 7.7
right power alternative loops 7.7
right quasigroup congruence 3.7
right quasigroup function 2.5
right section 2.6
right self-distributive magma 7.2
right transversal 3.4
RightBolLoop, for IsPosInt, IsPosInt 12.3-1
RightBolLoopByExactGroupFactorization, for IsGroup, IsGroup, IsGroup 10.1-3
RightBolLoops 12.3-2
RightBruckLoop, for IsPosInt, IsPosInt 12.4-1
RightBruckLoops 12.4-2
RightConjugacyClosedLoop, for IsPosInt, IsPosInt 12.8-1
RightConjugacyClosedLoops 12.8-2
RightDisplacementGroup, for IsRightQuasigroup 5.4-1
RightDivisionCayleyTable, for IsRightQuasigroup 2.4-2
RightDivisionFunction, for IsRightQuasigroup 2.5-5
RightDivisionTable, for IsRightQuasigroup 2.4-2
RightDivisionTableFromMultiplicationTable, for IsRectangularTable 2.4-3
RightInnerMapping, for IsRightQuasigroup, IsRightQuasigroupElement, IsRightQuasigroupElement 5.3-1
RightInnerMappingGroup, for IsRightQuasigroup 5.3-2
RightInverse, for IsLoopElement 1.5-3
RightMultiplicationGroup, for IsRightQuasigroup 5.2-1
RightNegDisplacementGroup, for IsRightQuasigroup 5.4-1
RightNucleus, for IsRightQuasigroup 6.1-1
RightPosDisplacementGroup, for IsRightQuasigroup 5.4-1
RightQuasigroup 3.5-1
RightQuasigroupByCayleyTable, for IsRectangularTable 2.4-6
RightQuasigroupByFunction 2.5-6
RightQuasigroupByGenerators 3.5-2
RightQuasigroupByRightFolder, for IsRightTransversal 2.7-2
RightQuasigroupByRightSection, for IsCollection, IsCollection 2.6-2
RightQuasigroupCongruenceByPairs, for IsRightQuasigroup, IsList 3.7-3
RightQuasigroupCongruenceByPartition, for IsRightQuasigroup, IsList 3.7-2
RightQuasigroupHomomorphismByImages, for IsRightQuasigroup, IsRightQuasigroup 8.1-5
RightQuasigroupIsomorph 8.2-1
RightQuasigroupIsotope 9.3-1
RightQuasigroupSatisfiesIdentity, for IsRightQuasigroup, IsString 7.1-2
RightQuasigroupsUpToIsomorphism, for IsList 8.3-4
RightQuasigroupsUpToIsotopism, for IsList, IsString 9.5-7
RightQuasigroupTermFromString, for IsString 7.1-1
RightQuasigroupTwist 9.2-1
RightQuasigroupWithGenerators 3.5-3
RightQuotient, for IsRightQuasigroupElement, IsRightQuasigroupElement 1.5-1
RightSection, for IsRightQuasigroup 5.1-3
RightTranslation, for IsRightQuasigroup, IsObject 5.1-1
RightTransversal, for IsRightQuasigroup, IsRightQuasigroup 3.4-1
RQ_AddDefaultOperations, for IsRightQuasigroup 2.3-2
RQ_AlgebraShell, for IsOperation, IsCollection 2.3-1
RQ_AutotopismGroupByGeneratorsNC, for IsRightQuasigroup, IsRightQuasigroupHomotopismCollection 9.6-3
RQ_BlissCanonicalLabeling4Morphism, for IsRightQuasigroup 9.7-2
RQ_BlissCanonicalLabeling4Topism, for IsRightQuasigroup 9.7-2
RQ_Digraph, for IsRightQuasigroup 9.7-1
RQ_NiceMonomorphism 9.6-1
RQ_NiceMonomorphismInverse 9.6-2
sedenion loop 12.13
self-distributive magma 7.2
SetDefaultConstructorStyle, for IsBool, IsBool 2.1-1
SetLoopElementsName, for IsLoop, IsString 1.3-3
SetQuasigroupElementsName, for IsQuasigroup, IsString 1.3-3
SetRightQuasigroupElementsName, for IsRightQuasigroup, IsString 1.3-3
simple right quasigroup 3.8-1
SmallGeneratingSet, for IsRightQuasigroup 1.9-1
SmallLoop, for IsPosInt, IsPosInt 12.9-1
SmallLoops 12.9-2
SmallQuandle, for IsPosInt, IsPosInt 12.15-1
SmallQuandles 12.15-2
SmallRack, for IsPosInt, IsPosInt 12.14-1
SmallRacks 12.14-2
Source, for IsRightQuasigroupHomotopism 9.1-2
Steiner loop 7.9-2
SteinerLoop, for IsPosInt, IsPosInt 12.7-1
SteinerLoops 12.7-2
subloop 3.3
Subloop, for IsLoop, IsList 3.3-2
Subquandle, for IsQuandle, IsCollection 11.5-2
subquasigroup 3.3
Subquasigroup, for IsQuasigroup, IsCollection 3.3-2
Subrack, for IsRack, IsCollection 11.5-2
subrightquasigroup 3.3
Subrightquasigroup, for IsRightQuasigroup, IsCollection 3.3-2
transformation, parent 4.1
transformtation, canonical 4.1
translation, left 1.2
    right 1.2
TrialityPcGroup, for IsLoop 10.2-2
TrialityPermGroup, for IsLoop 10.2-1
twist 9.2
two-sided inverse 1.5-3
underlying set 1.2
UnderlyingSet, for IsRightQuasigroup 1.4-2
UnderlyingSetElm, for IsRightQuasigroupElement 1.4-1
unipotent magma 7.2
UpperCentralSeriesOfLoop, for IsLoop 6.2-3
variety of Bol-Moufang type 7.6
weak inverse property 7.5-3