diff --git a/gap/constructions.gi b/gap/constructions.gi index 8abcf4c..30b2c3b 100644 --- a/gap/constructions.gi +++ b/gap/constructions.gi @@ -10,12 +10,12 @@ LInertumFamily@ := NewFamily("LeftInertFamily", IsLInertum, IsLSelfDistElement and IsIdempotent); RInertumFamily@ := NewFamily("RightInertFamily", IsRInertum, IsRSelfDistElement and IsIdempotent); -LInertumType@ := NewType(LInertumFamily, +LInertumType@ := NewType(LInertumFamily@, IsLInertum and IsPositionalObjectOneSlotRep); -RInertumType@ := NewType(RInertumFamily, +RInertumType@ := NewType(RInertumFamily@, IsRInertum and IsPositionalObjectOneSlotRep); -LInertum@ := i -> Objectify(LInertumType, [i]); -RInertum@ := i -> Objectify(RInertumType, [i]); +LInertum@ := i -> Objectify(LInertumType@, [i]); +RInertum@ := i -> Objectify(RInertumType@, [i]); WhichI@ := obj -> obj![1];