From f9a9c9fc50acd34e595a8d45891dd6c498cf8a60 Mon Sep 17 00:00:00 2001 From: Glen Whitney Date: Wed, 18 Oct 2017 22:18:38 +0200 Subject: [PATCH] Fix more typo. --- gap/structure.gi | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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)) );