|
|
Next: Finite Soluble Groups
Up: Groups
Previous: Permutation Groups
Matrix Groups
New Features:
- Construction of orbits for a matrix group has been modernised to use new
matrix action code. This improves both the Orbit function and construction
of base and strong generating set.
- RandomSchreierBounded function installed. Construction stops if a basic
orbit length exceeds the given bound. Intended for deciding whether or not
to use BSGS methods for a matrix group.
- Improved algorithms for computing the soluble radical of matrix groups over the
integers and rationals (with a BSGS) have been included.
- Generators for the special and general linear groups over the integers have been
included.
- A package developed by Alla Detinko, Dane Flannery and Eamonn O'Brien allows the
user to determine whether or not a matrix group defined over a rational function
field is finite. If it is finite then functions are provided which return the order
and an isomorphic matrix group defined over a finite field.
Next: Finite Soluble Groups
Up: Groups
Previous: Permutation Groups
|
|
