From b366588fa1af5e126c28e72cca6032c7fea09189 Mon Sep 17 00:00:00 2001
From: Glen Whitney <gwhitney@post.harvard.edu>
Date: Thu, 19 Oct 2017 02:38:07 +0200
Subject: [PATCH] Don't test 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 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 "<left rack"; fi;
+  if HasIsLDistributive(Q) and IsLeftRack(Q) then return "<left rack"; fi;
   return "<left quasigroup";
 end;
     
 RightObjView@ := function(Q)
-  if IsRightRack(Q) then return "<right rack"; fi;
+  if HasIsRdistributive(Q) and IsRightRack(Q) then return "<right rack"; fi;
   return "<right quasigroup";
 end;