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

Forgot some @

This commit is contained in:
Glen Whitney 2017-10-29 19:08:30 -04:00
parent 12f5e28112
commit 988b6aa86e
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
gap/constructions.gi
View File

@ -10,12 +10,12 @@ LInertumFamily@ := NewFamily("LeftInertFamily", IsLInertum,
IsLSelfDistElement and IsIdempotent); IsLSelfDistElement and IsIdempotent);
RInertumFamily@ := NewFamily("RightInertFamily", IsRInertum, RInertumFamily@ := NewFamily("RightInertFamily", IsRInertum,
IsRSelfDistElement and IsIdempotent); IsRSelfDistElement and IsIdempotent);
LInertumType@ := NewType(LInertumFamily, LInertumType@ := NewType(LInertumFamily@,
IsLInertum and IsPositionalObjectOneSlotRep); IsLInertum and IsPositionalObjectOneSlotRep);
RInertumType@ := NewType(RInertumFamily, RInertumType@ := NewType(RInertumFamily@,
IsRInertum and IsPositionalObjectOneSlotRep); IsRInertum and IsPositionalObjectOneSlotRep);
LInertum@ := i -> Objectify(LInertumType, [i]); LInertum@ := i -> Objectify(LInertumType@, [i]);
RInertum@ := i -> Objectify(RInertumType, [i]); RInertum@ := i -> Objectify(RInertumType@, [i]);
WhichI@ := obj -> obj![1]; WhichI@ := obj -> obj![1];