From ca66c4dae4ca5d60210e0d0aeac95597d7fc9757 Mon Sep 17 00:00:00 2001 From: Glen Whitney Date: Sun, 29 Oct 2017 19:10:11 -0400 Subject: [PATCH] Forgot some Other --- gap/constructions.gi | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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 );