diff --git a/gap/quasigroups.gd b/gap/quasigroups.gd index a33df6a..ce91c23 100644 --- a/gap/quasigroups.gd +++ b/gap/quasigroups.gd @@ -48,7 +48,7 @@ DeclareSynonym( "IsQuasigroupElement", IsMultiplicativeElement and IsLeftQuotientElement and IsRightQuotientElement ); DeclareRepresentation( "IsQuasigroupElmRep", - IsPositionalObjectRep and IsMultiplicativeElement, [1] ); + IsPositionalObjectRep and IsQuasigroupElement, [1] ); ## element of a loop DeclareSynonym( "IsLoopElement",