File: USAGE

package info (click to toggle)
gap-matrix-schreiersims 0.9.20041122-3.1
  • links: PTS
  • area: main
  • in suites: lenny
  • size: 716 kB
  • ctags: 47
  • sloc: makefile: 144
file content (26 lines) | stat: -rw-r--r-- 1,528 bytes parent folder | download | duplicates (2)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
Matrix Schreier-Sims short introduction
=======================================

When the package is loaded in GAP using "LoadPackage", a new Attribute
"StabChainMatrixGroup" is installed for finite matrix groups, which
contains a base and generating set, as well as the Schreier trees for
the orbits of the base points. The corresponding Operation has two
Methods. One is the standard deterministic Schreier-Sims algorithm and
the other one is the standard probabilistic Schreier-Sims algorithm,
possibly with verification using Schreier-Todd-Coxeter-Sims algorithm
or using the Verify routine by Sims, the latter being the default. The
default main algorithm is the deterministic one, since it is the fastest one at the moment. The probabilistic algorithm can be chosen by passing an Option.

The package also installs a new Method for the "Size" Attribute for
finite matrix groups. The Method uses the above mentioned Attribute
"StabChainMatrixGroup" and computes the order of the group by
multiplying the sizes of the orbits of the base points.

The Option to define in order to select the probabilistic algorithm is
"Random". There are also a few more Options for the probabilistic
algorithm itself. If "Verify" is defined, the probabilistic algorithm
will execute the Verify routine at the end, to verify the
probabilistic computation, so that a correct result is guaranteed. If
also "STCS" is defined, the Schreier-Todd-Coxeter-Sims algorithm will
be used instead for the verification. For other options, see the
manual.