gap-system / gap / 11382

4%

Build Type

push

travis-ci

Committed by web-flow

Commit Message

Improvements to Automorphism group/Group isomorphism (#3783)

* PERFORMANCE: Automorphism group/Group isomorphism

In particular concerning the calculation of a faithful permutation
representation.

Also `SubgroupConditionAbove` uses composition series
and complement zuppos.

Includes minor addition to `ActionDomain` and required manual/test changes

* ENHANCE: Equality test tools for permutation groups

Add `OrbitsMovedPoints`.
Compare orbits first. If size is know avoid forcing a stabilizer chain if
one group has one.  This helps e.g. when acting on subgroups.

* PERFORMANCE: Direct product structure helps for factor groups

* ENHANCE: Added StructuralSeriesOfGroup

Also added method for trivial closure

* ENHANCE: comparison of classes in pc group

* TEST: Unrelated tests to ensure test ratio does not decrease

As the new code cannot be tested within the time-out limits of travis.

Run Details

441 of 616 new or added lines in 9 files covered. (71.59%)

240 existing lines in 14 files now uncovered.

286174 of 337751 relevant lines covered (84.73%)

29212419.49 hits per line