1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
#Example: "R2-5-i" . . . based on: examples/R2-5
#Construction of R(2,5)
#vars: F, procId, class;
#options: OutputLevel, OutputFile
F := FreeGroup("a", "b");
procId := PqStart(F : Prime := 5, Exponent := 5);
#comment: set a different print level by supplying <OutputLevel>
PqPcPresentation(procId : ClassBound := 1,
#sub <OutputLevel> for <1> if set and ok
OutputLevel := 1);;
PqSupplyAutomorphisms(procId, [ [[2,0],
[0,1]],
[[4,1],
[4,0]] ]);;
for class in [2 .. 13] do
PqNextClass(procId : QueueFactor := 20);
od;
#comment: save the presentation to a different file by supplying <OutputFile>
#sub <OutputFile> for <ANUPQData.outfile> if set and ok
PqSavePcPresentation(procId, ANUPQData.outfile);;
|
