Can IsCommutative be a regular method.

This commit is contained in:
Glen Whitney 2017-10-30 12:09:24 -04:00
parent aaaf1a04a9
commit b3b9e3817b

View File

@ -38,7 +38,7 @@ InstallTrueMethod( IsExtraLoop, IsAssociative and IsLoop );
##
## Returns true if <Q> is commutative.
InstallOtherMethod( IsCommutative, "for quasigroup",
InstallMethod( IsCommutative, "for quasigroup",
[ IsQuasigroup ],
function( Q )
return LeftSection( Q ) = RightSection( Q );