From d021d67c1c7e4bc7fe48af7ee760f06305f8ecbf Mon Sep 17 00:00:00 2001 From: Glen Whitney Date: Sat, 21 Oct 2017 01:15:18 +0200 Subject: [PATCH] dumb library declaration of LeftQuotient --- gap/byconj.gi | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/gap/byconj.gi b/gap/byconj.gi index e4d7dd8..cef58f2 100644 --- a/gap/byconj.gi +++ b/gap/byconj.gi @@ -55,7 +55,7 @@ InstallMethod( \*, "for two conjugator objects", function(l,r) return LeftQuotient(l![1],r![1])*l![1]; end ); -InstallMethod(LeftQuotient, "for two conjugator objects", +InstallOtherMethod(LeftQuotient, "for two conjugator objects", IsIdenticalObj, [IsDefaultConjugatorObject,IsDefaultConjugatorObject], function(l,r) return (l*r)/l; end