7. Examples of Schreier-Sims algorithm

This section contains a number of very hard examples to show the power of our implementation of the algorithms. We do not expect, however, to need these groups in tensor computer algebra applications.

Here we shall always use the external canonicalizer. It would be too slow for our Mathematica code.

In[144]:=

SetOptions[Orbit, MathLink→True] ;

SetOptions[SchreierSims, MathLink→True] ;

MathLink                Option for Orbit, SchreierSims and CanonicalPerm to use an external, faster executable code

External executable.

7.1. Rubik's cube

7.2. Alternating groups

7.2. Some "small" sporadic simple groups

7.3. Other groups


Created by Mathematica  (May 16, 2008) Valid XHTML 1.1!