From 39371b7e0a91cf367eceee32f543ebd41c843c5d Mon Sep 17 00:00:00 2001
From: Glen Whitney <gwhitney@post.harvard.edu>
Date: Sun, 29 Oct 2017 19:19:50 -0400
Subject: [PATCH] Use more elementary constructor to make trivial quandle

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

diff --git a/gap/constructions.gi b/gap/constructions.gi
index ea17dc9..1cc0ad0 100644
--- a/gap/constructions.gi
+++ b/gap/constructions.gi
@@ -72,9 +72,11 @@ RigthTrivs@ := [];
 
 InstallGlobalFunction(TrivialLeftQuandle,
   function(n)
-    local I;
+    local trivs, I;
     if not IsBound(LeftTrivs@[n]) then
-      I := AsLeftQuandle(List([1..n], LInertum@));
+      trivs := List([1..n], LInertum@);
+      I := LeftQuandleNC(CollectionsFamily(LInertumFamily@), trivs);
+      SetAsSSortedList(I, trivs);
       SetIsTrivial(I, true);
       SetIsBuiltFromMultiplicationTable(I, true);
       SetMultiplicationTable(I, ListWithIdenticalEntries(n, [1..n]));