From cf2bc144231de39e2c7bc5516e049678c3a8d0fb Mon Sep 17 00:00:00 2001 From: Glen Whitney Date: Tue, 17 Oct 2017 22:28:41 +0200 Subject: [PATCH] Looks like quasigroup elements have to be multiplicative elements (as that is not implied by ExtL and ExtRElement) --- gap/quasigroups.gd | 1 + 1 file changed, 1 insertion(+) diff --git a/gap/quasigroups.gd b/gap/quasigroups.gd index acede97..d97a8dd 100644 --- a/gap/quasigroups.gd +++ b/gap/quasigroups.gd @@ -45,6 +45,7 @@ InstallTrueMethod(IsLeftQuotientElement, IsMultiplicativeElementWithInverse); ## element of a quasigroup DeclareCategory( "IsQuasigroupElement", + IsMultiplicativeElement and IsLeftQuotientElement and IsRightQuotientElement ); DeclareRepresentation( "IsQuasigroupElmRep", IsPositionalObjectRep and IsMultiplicativeElement, [1] );