HaskellForMaths-0.1.8: Combinatorics, group theory, commutative algebra, non-commutative algebra

Math.Algebra.Group.SchreierSims

Synopsis

Documentation

isMember :: (Ord t, Show t) => [Permutation t] -> Permutation t -> BoolSource

Given generators for a group, determine whether a permutation is a member of the group, using Schreier-Sims algorithm

elts :: (Ord t, Show t) => [Permutation t] -> [Permutation t]Source

Given generators for a group, return a (sorted) list of all elements of the group, using Schreier-Sims algorithm

order :: (Ord t, Show t) => [Permutation t] -> IntegerSource

Given generators for a group, return the order of the group (the number of elements), using Schreier-Sims algorithm