Product of two conjugator objects is a conjugator object

This commit is contained in:
Glen Whitney 2017-10-21 20:53:45 +02:00
parent ae71d58873
commit 1713af2c65

View File

@ -64,7 +64,7 @@ InstallMethod( \<, "for two conjugator objects",
InstallMethod( \*, "for two conjugator objects",
IsIdenticalObj,
[IsDefaultConjugatorObject, IsDefaultConjugatorObject],
function(l,r) return LeftQuotient(l![1],r![1])*l![1]; end
function(l,r) return ConjugatorObj(LeftQuotient(l![1],r![1])*l![1]); end
);
InstallOtherMethod(LeftQuotient, "for two conjugator objects",