yeah generally need othermethod with LeftQuotient

This commit is contained in:
Glen Whitney 2017-10-22 18:34:31 +02:00
parent 110785feeb
commit 79feddf92c

View File

@ -412,7 +412,7 @@ InstallMethod(\*, "for two opposite objects",
function(l,r) return OppositeObj(r![1]*l![1]); end
);
InstallMethod(LeftQuotient, "for two opposite objects",
InstallOtherMethod(LeftQuotient, "for two opposite objects",
IsIdenticalObj,
[IsDefaultOppositeObject and IsLeftQuotientElement, IsDefaultOppositeObject],
function(l,r) return OppositeObj(r![1]/l![1]); end