diff --git a/gap/structure.gi b/gap/structure.gi index 10bb59c..b845666 100644 --- a/gap/structure.gi +++ b/gap/structure.gi @@ -239,12 +239,12 @@ end); ## Distributivity checkers for when need be InstallMethod(IsLSelfDistributive, "for magma", [IsMagma], - M -> IsLSelfDistributiveTable(MultiplicationTable(M)) + M -> IsLeftSelfDistributiveTable(MultiplicationTable(M)) ); InstallMethod(IsRSelfDistributive, "for magma", [IsMagma], - M -> IsRSelfDistributiveTable(MultiplicationTable(M)) + M -> IsRightSelfDistributiveTable(MultiplicationTable(M)) ); ## Special case the Opposite function from LOOPS package, since the opposite