From 560564a0107bf4390c5be9fa8e24e8c6c11c72e4 Mon Sep 17 00:00:00 2001
From: Glen Whitney <gwhitney@post.harvard.edu>
Date: Sun, 29 Oct 2017 20:54:12 -0400
Subject: [PATCH] fix the right trivial constructor too

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

diff --git a/gap/constructions.gi b/gap/constructions.gi
index c5f616f..6181b09 100644
--- a/gap/constructions.gi
+++ b/gap/constructions.gi
@@ -88,18 +88,19 @@ end);
 
 InstallGlobalFunction(TrivialRightQuandle,
   function(n)
-    local I;
+    local trivs, I;
     if not IsBound(RightTrivs@[n]) then
-      I := AsRightQuandle(List([1..n], RInertum@));
+      trivs := List([1..n], RInertum@);
+      I := RightQuandleNC(CollectionsFamily(RInertumFamily@), trivs);
       SetIsTrivial(I, true);
-      SetIsBuiltFromMultiplicationTable(I, true);
+      SetAsSSortedList(I, trivs);
       SetMultiplicationTable(I,
         List([1..n], i -> ListWithIdenticalEntries(n, i)));
       RightTrivs@[n] := I;
     fi;
     return RightTrivs@[n];
 end);
-     
+
 InstallMethod(IsTrivial, "for a left quasigroup",
   [IsLeftQuasigroup],
   Q -> ForAll(LeftPerms(Q), p -> p = ())