Set trivial right away

This commit is contained in:
Glen Whitney 2017-10-29 20:03:16 -04:00
parent 39371b7e0a
commit 05b4189c97

View File

@ -76,8 +76,8 @@ InstallGlobalFunction(TrivialLeftQuandle,
if not IsBound(LeftTrivs@[n]) then
trivs := List([1..n], LInertum@);
I := LeftQuandleNC(CollectionsFamily(LInertumFamily@), trivs);
SetAsSSortedList(I, trivs);
SetIsTrivial(I, true);
SetAsSSortedList(I, trivs);
SetIsBuiltFromMultiplicationTable(I, true);
SetMultiplicationTable(I, ListWithIdenticalEntries(n, [1..n]));
LeftTrivs@[n] := I;