#Example:
"3gp-a-x-Rel-i" . . . based on: examples/
3gpA
#(exponent
9 group with
2 generators of order
3, extended)
#vars: F, rels, procId;
#options: OutputLevel1, OutputLevel2, OutputLevel3, OutputFile
F := FreeGroup(
"a",
"b");
rels := [
"a^3",
"b^3"];
procId := PqStart(F : Prime :=
3, Exponent :=
9, Relators := rels);
#comment: set a different print level by supplying <OutputLevel1>
PqPcPresentation(procId : ClassBound :=
4,
#sub <OutputLevel1>
for <
1>
if set
and ok
OutputLevel :=
1);;
#comment: set a different print level by supplying <OutputLevel2>
#sub <OutputLevel2>
for <
2>
if set
and ok
PqDisplayPcPresentation(procId : OutputLevel :=
2);;
PqNextClass(procId);;
#comment: set a different print level by supplying <OutputLevel3>
#sub <OutputLevel3>
for <
1>
if set
and ok
PqSetOutputLevel(procId,
1);;
PqSetupTablesForNextClass(procId);;
PqTails(procId,
0);;
PqDoConsistencyChecks(procId,
0,
0);;
PqCollectDefiningRelations(procId);;
PqDoExponentChecks(procId);;
PqEliminateRedundantGenerators(procId);;
#sub <OutputLevel2>
for <
2>
if set
and ok
PqDisplayPcPresentation(procId : OutputLevel :=
2);;
#comment: save the presentation to a different file by supplying <OutputFile>
#sub <OutputFile>
for <ANUPQData.outfile>
if set
and ok
PqSavePcPresentation(procId, ANUPQData.outfile);;
