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

give the inert families dummy mult tables

This commit is contained in:
Glen Whitney 2017-10-29 20:29:29 -04:00
parent ba8bc89544
commit cb77a7c7df
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
gap/constructions.gi
View File

@ -8,8 +8,10 @@ DeclareCategoryCollections("IsLInertum");
DeclareCategoryCollections("IsRInertum");
LInertumFamily@ := NewFamily("LeftInertFamily", IsLInertum,
IsLSelfDistElement and IsIdempotent);
SetMultiplicationTable(LInertumFamily@, []);
RInertumFamily@ := NewFamily("RightInertFamily", IsRInertum,
IsRSelfDistElement and IsIdempotent);
SetMultiplicationTable(RInertumFamily@, []);
LInertumType@ := NewType(LInertumFamily@,
IsLInertum and IsPositionalObjectOneSlotRep);
RInertumType@ := NewType(RInertumFamily@,
@ -78,7 +80,6 @@ InstallGlobalFunction(TrivialLeftQuandle,
I := LeftQuandleNC(CollectionsFamily(LInertumFamily@), trivs);
SetIsTrivial(I, true);
SetAsSSortedList(I, trivs);
SetIsBuiltFromMultiplicationTable(I, true);
SetMultiplicationTable(I, ListWithIdenticalEntries(n, [1..n]));
LeftTrivs@[n] := I;
fi;