loop element reps are quasigroup element reps.

This commit is contained in:
Glen Whitney 2017-10-30 11:58:26 -04:00
parent 4c2817b04f
commit 8f7f6891ec

View File

@ -54,7 +54,7 @@ DeclareRepresentation( "IsQuasigroupElmRep",
DeclareSynonym( "IsLoopElement",
IsQuasigroupElement and IsMultiplicativeElementWithInverse );
DeclareRepresentation( "IsLoopElmRep",
IsPositionalObjectRep and IsMultiplicativeElementWithInverse, [1] );
IsQuasigroupElmRRep and IsMultiplicativeElementWithInverse, [1] );
## Right quasigroup
DeclareCategory("IsRightQuasigroup",