21.7 StabChain

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), StabChain also guarantees, that the computed stabilizer chain confirms to the information given. For example giving the size ensures correctness of the stabilizer chain.

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:

size:

The group size.

limit:

An upper limit for the group size.

base:

A list of points. If given, StabChain computes a reduced base starting with the points in base.

knownBase:

A list of points, representing a known base.

random:

A value to supersede global or parent group setting of StabChainOptions.random (see Random Methods for Permutation Groups).

Previous Up Top Next
Index