StabChain( G )
StabChain( G, opt )
StabChain computes and returns a stabilizer chain for G. The option
record opt can be given and may contain information that will be used
when computing the stabilizer chain.
Giving this information might speed up computations. When using random
methods (see Random Methods for Permutation Groups),
guarantees, that the computed stabilizer chain confirms to the information
given. For example giving the size ensures correctness of the stabilizer
If information of this kind can also be gotten from the parent group,
StabChain does so.
The following components of the option record are currectly supported:
StabChaincomputes a reduced base starting with the points in
StabChainOptions.random(see Random Methods for Permutation Groups).
Previous Up Top Next