diff --git a/gap/structure.gi b/gap/structure.gi index 08635a1..10bb59c 100644 --- a/gap/structure.gi +++ b/gap/structure.gi @@ -237,12 +237,12 @@ InstallMethod(RightPerms, end); ## Distributivity checkers for when need be -InstallMethod(IsLSelfDistributive, "for magma" +InstallMethod(IsLSelfDistributive, "for magma", [IsMagma], M -> IsLSelfDistributiveTable(MultiplicationTable(M)) ); -InstallMethod(IsRSelfDistributive, "for magma" +InstallMethod(IsRSelfDistributive, "for magma", [IsMagma], M -> IsRSelfDistributiveTable(MultiplicationTable(M)) );