glen
/
RAQ
1
0
Fork 0
Code Issues 1 Pull Requests Releases Wiki Activity

Use more elementary constructor to make trivial quandle

This commit is contained in:
Glen Whitney 2017-10-29 19:19:50 -04:00
parent ca66c4dae4
commit 39371b7e0a
1 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
gap/constructions.gi
View File

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