diff --git a/gap/structure.gi b/gap/structure.gi index a117c32..576076c 100644 --- a/gap/structure.gi +++ b/gap/structure.gi @@ -253,13 +253,13 @@ InstallMethod(IsRSelfDistributive, "for magma", ## View and print and such LeftObjString@ := function(Q) # Don't test distributivity if we haven't already - if HasIsLDistributive(Q) and IsLeftRack(Q) then return "LeftRack"; fi; + if HasIsLSelfDistributive(Q) and IsLeftRack(Q) then return "LeftRack"; fi; return "LeftQuasigroup"; end; RightObjString@ := function(Q) # Don't test distributivity if we haven't already - if HasIsRDistributive(Q) and IsRightRack(Q) then return "RightRack"; fi; + if HasIsRSelfDistributive(Q) and IsRightRack(Q) then return "RightRack"; fi; return "RightQuasigroup"; end; @@ -324,12 +324,14 @@ InstallMethod(Display, "for a right quasigroup with multiplication table", end); LeftObjView@ := function(Q) - if HasIsLDistributive(Q) and IsLeftRack(Q) then return "