Permutation Groups [HB 20]

New Features:

• A dynamically constructed disjoint cycle form of a permutation may now be used. E.g., G![{@ 1, 3,..@},{@ 2, 6,..@}, ...] is now the same as G!(1,3,..)(2,6,..).... Note that Cycle(G![{@ 1, 3,..@},{@ 2, 6, ... @}, ...], 1) will give {@ 1, 3, ... @}.
• The function IsConjugate has been extended in the case of permutation groups to allow the testing of whether a pair of indexed sets or a pair of multisets of points of G lie in the same G-orbit.

Bug fixes:

• Bug fixed in GSet(GrpPerm, SetMulti). This signature now generates a runtime error. This avoids the potential problem of things in the same orbit having different multiplicities.
• Bugs fixed in: DerivedSeries, PCGroup, SolubleQuotient, CompositionFactors, IsSimple, Cycle, CosetAction(GrpAb, GrpAb), Subgroups, NormalSubgroups, MaximalSubgroups.