diff --git a/gap/constructions.gi b/gap/constructions.gi index 30b2c3b..ea17dc9 100644 --- a/gap/constructions.gi +++ b/gap/constructions.gi @@ -58,12 +58,12 @@ InstallMethod(\*, "for anything and a right inert object", [IsExtRElement, IsRInertum], ReturnFirst ); -InstallMethod(LeftQuotient, "for a left inert object and anything", +InstallOtherMethod(LeftQuotient, "for a left inert object and anything", [IsLInertum, IsExtLElement], 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 );