From 4254b760c9461fac7bf0e285550acbed2e8c4891 Mon Sep 17 00:00:00 2001 From: Glen Whitney Date: Mon, 30 Oct 2017 11:32:44 -0400 Subject: [PATCH] the quasigroup elm rep should be a quasigroup element --- gap/quasigroups.gd | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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",