From b3b9e3817b245918fbd6c051135a66fcdebd7f8a Mon Sep 17 00:00:00 2001 From: Glen Whitney Date: Mon, 30 Oct 2017 12:09:24 -0400 Subject: [PATCH] Can IsCommutative be a regular method. --- gap/classes.gi | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/gap/classes.gi b/gap/classes.gi index 7a42fc0..8712731 100644 --- a/gap/classes.gi +++ b/gap/classes.gi @@ -38,7 +38,7 @@ InstallTrueMethod( IsExtraLoop, IsAssociative and IsLoop ); ## ## Returns true if is commutative. -InstallOtherMethod( IsCommutative, "for quasigroup", +InstallMethod( IsCommutative, "for quasigroup", [ IsQuasigroup ], function( Q ) return LeftSection( Q ) = RightSection( Q );