61.26 SetupSymmetricPresentation

SetupSymmetricPresentation(K,name [, base [, op]])

The function SetupSymmetricPresentation implements the equivalence between presentations for DCE and Symmetric Presentations in the sense of Curtis. The argument K is the group acting, and name is an AbstractGenerator that will be used as t. The optional arguments base and op can be used to specify s_0 and the action of K on S. base defaults to 1 and op to OnPoints.

The function returns a record with two components:

skeleton:

a partial DCE Presentation. The fields K, gainGroups and gens are bound. Fields relators and subgens must still be added, and name and strategy may be added, before enumeration.

makeGen:

is a function which converts elements of Orbit(K,base,op) into DCEWords for the corresponding symmetric Generators.

Previous Up Top Next
Index