From cb77a7c7df13cbc82ec018d90349bf43f4a36c77 Mon Sep 17 00:00:00 2001
From: Glen Whitney <gwhitney@post.harvard.edu>
Date: Sun, 29 Oct 2017 20:29:29 -0400
Subject: [PATCH] give the inert families dummy mult tables

---
 gap/constructions.gi | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/gap/constructions.gi b/gap/constructions.gi
index ce34a60..c5f616f 100644
--- a/gap/constructions.gi
+++ b/gap/constructions.gi
@@ -8,8 +8,10 @@ DeclareCategoryCollections("IsLInertum");
 DeclareCategoryCollections("IsRInertum");
 LInertumFamily@ := NewFamily("LeftInertFamily", IsLInertum, 
                            IsLSelfDistElement and IsIdempotent);
+SetMultiplicationTable(LInertumFamily@, []);
 RInertumFamily@ := NewFamily("RightInertFamily", IsRInertum, 
                            IsRSelfDistElement and IsIdempotent);
+SetMultiplicationTable(RInertumFamily@, []);
 LInertumType@ := NewType(LInertumFamily@,
                          IsLInertum and IsPositionalObjectOneSlotRep);
 RInertumType@ := NewType(RInertumFamily@,
@@ -78,7 +80,6 @@ InstallGlobalFunction(TrivialLeftQuandle,
       I := LeftQuandleNC(CollectionsFamily(LInertumFamily@), trivs);
       SetIsTrivial(I, true);
       SetAsSSortedList(I, trivs);
-      SetIsBuiltFromMultiplicationTable(I, true);
       SetMultiplicationTable(I, ListWithIdenticalEntries(n, [1..n]));
       LeftTrivs@[n] := I;
     fi;