Oh and with / too

This commit is contained in:
Glen Whitney 2017-10-22 18:35:39 +02:00
parent 79feddf92c
commit 503562f7ab
1 changed files with 1 additions and 1 deletions

View File

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