Finite Groups#
Permutation Groups
Permutation group constructors, orbit–stabiliser and backtrack methods.
Matrix Groups
Groups of matrices over finite fields and recognition algorithms.
Generic Groups
Abstract group constructors and generic structural functions.
Structural Algorithms
Composition series, Sylow subgroups, automorphisms and cohomology.