From 32a272fab92c4c10cf94b75681c85c6007bffa92 Mon Sep 17 00:00:00 2001 From: Glen Whitney Date: Fri, 20 Oct 2017 15:30:44 +0200 Subject: [PATCH] match requirements for distributivity tests --- gap/bytable.gi | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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)) );