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

Forgot some Other

Browse Source
This commit is contained in:
Glen Whitney 2017-10-29 19:10:11 -04:00
parent 988b6aa86e
commit ca66c4dae4
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
gap/constructions.gi
View File

@ -58,12 +58,12 @@ InstallMethod(\*, "for anything and a right inert object",
[IsExtRElement, IsRInertum], ReturnFirst [IsExtRElement, IsRInertum], ReturnFirst
); );
InstallMethod(LeftQuotient, "for a left inert object and anything", InstallOtherMethod(LeftQuotient, "for a left inert object and anything",
[IsLInertum, IsExtLElement], [IsLInertum, IsExtLElement],
function(l,r) return r; end function(l,r) return r; end
); );
InstallMethod(\/, "for anything and a right inert object", InstallOtherMethod(\/, "for anything and a right inert object",
[IsExtRElement, IsRInertum], ReturnFirst [IsExtRElement, IsRInertum], ReturnFirst
); );