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