From 03d80d9acb5670280f07dda1beda1f1f979eb56c Mon Sep 17 00:00:00 2001 From: Glen Whitney Date: Mon, 30 Oct 2017 12:14:36 -0400 Subject: [PATCH] Increase priority of LOOPS IsCommutative. --- gap/classes.gi | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/gap/classes.gi b/gap/classes.gi index 8712731..48eaf15 100644 --- a/gap/classes.gi +++ b/gap/classes.gi @@ -39,7 +39,7 @@ InstallTrueMethod( IsExtraLoop, IsAssociative and IsLoop ); ## Returns true if is commutative. InstallMethod( IsCommutative, "for quasigroup", - [ IsQuasigroup ], + [ IsQuasigroup ], 20, # Need to beat GAP's library methods function( Q ) return LeftSection( Q ) = RightSection( Q ); end );