Matrix Groups over Finite Fields (Aschbacher Analysis) [HB 18]

A revised version of this package that performs Aschbacher analysis has been provided by Eamonn O'Brien.

Changes:

• The intrinsics BlockSystem and TensorInducedFactors have been removed.

New features:

• The intrinsic NormalSubgroupRandomElement returns a random element of the normal closure of a subgroup given in terms of normal generators.
• The intrinsic ExtraSpecialNormaliser returns the action of the generators of a matrix group on an normal extraspecial or symplectic subgroup.
• The intrinsic ExtraSpecialAction gives the action of an element on an extraspecial or symplectic group.
• The intrinsic ExtraSpecialBasis returns a basis of an extraspecial or symplectic subgroup normalised by the group.
• The intrinsic TensorInducedAction returns the tensor induced action of an element.
• The intrinsic Blocks returns the blocks of imprimitivity of a matrix group.
• The intrinsic ImprimitiveAction gives the action of an element on a set of blocks of imprimitivity.