glen
/
RAQ
1
0
Fork 0
Code Issues 1 Pull Requests Releases Wiki Activity

need right quotients too

This commit is contained in:
Glen Whitney 2017-10-21 01:11:04 +02:00
parent d91f0a660d
commit a9b981f149
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
gap/byconj.gi
View File

@ -17,7 +17,7 @@ ConjugatorType@ := obj -> ConjugatorFamily(FamilyObj(obj))!.ConjType;
InstallMethod(ConjugatorObj,
"for a mult element that allows left quotients (and should be assoc)",
[IsMultiplicativeElement and IsLeftQuotientElement],
[IsMultiplicativeElement and IsLeftQuotientElement and IsRightQuotientElement],
obj -> Objectify(ConjugatorType@(obj), Immutable(obj))
);