diff --git a/gap/bytable.gi b/gap/bytable.gi index 81bda85..a1fb785 100644 --- a/gap/bytable.gi +++ b/gap/bytable.gi @@ -198,12 +198,12 @@ end); ## Distributivity/idempotence checkers for when need be InstallMethod(IsLSelfDistributive, "for collections with multiplication tables", - [HasMultiplicationTable], + [IsMultiplicativeElementCollection and HasMultiplicationTable], M -> IsLeftSelfDistributiveTable(MultiplicationTable(M)) ); InstallMethod(IsRSelfDistributive, "for collections with multiplication table", - [HasMultiplicationTable], + [IsMultiplicativeElementCollection and HasMultiplicationTable], M -> IsRightSelfDistributiveTable(MultiplicationTable(M)) );