gap-system / gap / 12213

4%

push

travis-ci

Small corrections (#4103)

* CLEANUP: Limit use of new perfect subgroup finder

The new code assumes that fitting free setup performs well. This is not
guaranteed if the group is ``generic''. This fixes an error reported by
Serge Bouc:

g:=AlternatingGroup(5);
c:=CyclicGroup(4);
d:=DirectProduct(g,g);
sd:=ConjugacyClassesSubgroups(d);
Print(Length(sd)," classes de sous-groupes dans G x G\n");
dc:=DirectProduct(d,c);
sdc:=ConjugacyClassesSubgroups(dc);

No test file, as this example runs very long, but making it smaller avoids
the error and does not trigger the error.

* FIX: Units in nonassociative rings

must be magmas, not groups.
This fixes #4096.

7 of 9 new or added lines in 2 files covered. (77.78%)

303070 of 353416 relevant lines covered (85.75%)

43601810.89 hits per line