diff --git a/gap/constructions.gi b/gap/constructions.gi index ce34a60..c5f616f 100644 --- a/gap/constructions.gi +++ b/gap/constructions.gi @@ -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;