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]));