From 27c5f781205c3df22417903b9c2670af1f0fb090 Mon Sep 17 00:00:00 2001
From: Glen Whitney <gwhitney@post.harvard.edu>
Date: Thu, 19 Oct 2017 02:40:48 +0200
Subject: [PATCH] Don't test SELF distributivity just to print

---
 gap/structure.gi | 10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)

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 "<left rack"; fi;
+  if HasIsLSelfDistributive(Q) and IsLeftRack(Q) then return "<left rack"; fi;
   return "<left quasigroup";
 end;
     
 RightObjView@ := function(Q)
-  if HasIsRdistributive(Q) and IsRightRack(Q) then return "<right rack"; fi;
+  if HasIsRSelfDistributive(Q) and IsRightRack(Q) then 
+    return "<right rack";
+  fi;
   return "<right quasigroup";
 end;