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

Standardize on RAQ as the name of this package

Browse source
This commit is contained in:
Glen Whitney 2018-08-18 10:58:08 -07:00
parent be82518697
commit ffb88b99e8
8 changed files with 82 additions and 80 deletions
Download patch file Download diff file Expand all files Collapse all files

4
lib/constructions.gi
View file

@ -23,11 +23,11 @@ WhichI@ := obj -> obj![1];
InstallMethod(String, "for left inert objects",
[IsLInertum],
obj -> Concatenation("LInertum@raq(", String(WhichI@(obj)), ")")
obj -> Concatenation("LInertum@RAQ(", String(WhichI@(obj)), ")")
);
InstallMethod(String, "for rightt inert objects",
[IsRInertum],
obj -> Concatenation("RInertum@raq(", String(WhichI@(obj)), ")")
obj -> Concatenation("RInertum@RAQ(", String(WhichI@(obj)), ")")
);
InstallMethod(ViewString, "for left inert objects",