Spracherkennung für: vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
#Example: "11gp-SP-b-i" . . . based on: isom/11gp_b.com
#vars: F, a, b, c, R, procId;
#options: OutputLevel, ClassBound, StandardPresentationFile
F := FreeGroup("a", "b", "c"); a := F.1; b := F.2; c := F.3;
R := [a^11, b^11, c^11, PqLeftNormComm([b, a, a, a, b, a]),
Comm(c, a), Comm(c, b), PqLeftNormComm([b, a, b])];;
procId := PqStart(F/R : Prime := 11);
#comment: set a different print level by supplying <OutputLevel>
#sub <OutputLevel> for <0> if set and ok
PqSetOutputLevel(procId, 0);;
PqSPComputePcpAndPCover(procId : ClassBound := 3);;
#comment: set a different `ClassBound' by supplying <ClassBound>
#comment: also save the presentation to a file by supplying <StandardPresentationFile>
PqSPStandardPresentation(procId, [ [[1,0,0,0,0],
[0,1,0,0,1],
[0,0,1,0,0]],
[[1,0,0,0,0],
[0,1,0,0,0],
[0,0,1,0,1]],
[[1,0,9,0,0],
[0,1,0,0,0],
[0,0,1,0,0]],
[[1,7,8,0,0],
[0,1,0,0,0],
[0,0,1,0,0]],
[[10,0,0,0,0],
[0,1,0,0,0],
[0,0,1,0,0]],
[[2,0,0,0,0],
[0,1,0,0,0],
[0,0,1,0,0]],
[[1,0,8,0,0],
[0,1,3,0,0],
[0,0,1,0,0]],
[[1,0,9,0,0],
[0,1,0,0,0],
[0,0,3,0,0]],
[[1,0,2,0,0],
[0,1,0,0,0],
[0,0,10,0,0]],
[[1,9,10,0,0],
[0,3,7,0,0],
[0,0,6,0,0]],
[[1,5,9,0,0],
[0,7,4,0,0],
[0,0,10,0,0]]]
: # options
#add <StandardPresentationFile> for <value> if set and ok
# StandardPresentationFile := value,
#sub <ClassBound> for <8> if set
ClassBound := 8,
PcgsAutomorphisms);;
