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
27
28
29
30
31
32
33
|
#Example: "G3-SP-Rel-i" . . . based on: isom/G_3.com
#vars: F, rels, procId;
#options: OutputLevel, ClassBound, StandardPresentationFile
F := FreeGroup("x", "y");
rels := ["(x * y * x)^3"];
procId := PqStart(F : Prime := 3, Relators := rels);
#comment: set a different print level by supplying <OutputLevel>
#add <OutputLevel> for <value> if set and ok
#PqSetOutputLevel(procId, value);;
PqSPComputePcpAndPCover(procId : ClassBound := 1);;
#comment: set a different `ClassBound' by supplying <ClassBound>
#comment: also save the presentation to a file by supplying <StandardPresentationFile>
PqSPStandardPresentation(procId, [ [[2,0],
[0,2]],
[[0,2],
[1,0]],
[[1,2],
[2,2]],
[[1,0],
[2,1]],
[[2,0],
[0,1]] ]
: # options
#add <StandardPresentationFile> for <value> if set and ok
# StandardPresentationFile := value,
#sub <ClassBound> for <5> if set
ClassBound := 5,
PcgsAutomorphisms);;
|
