#Example: "5gp-SP-b-Rel-i" . . . based on: isom/5gp_b #vars: F, rels, procId; #options: OutputLevel, ClassBound, StandardPresentationFile
F := FreeGroup("a", "b");
rels := ["a^25", "[b, a, a]", "[b, a, a, a, a, a, b]", "[b, a, b, b, b, b]", "b^5 * [b, a, a]^-1"];
procId := PqStart(F : Prime := 5, 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 := 2);; #comment: set a different `ClassBound' by supplying #comment: also save the presentation to a file by supplying <StandardPresentationFile>
PqSPStandardPresentation(procId, [ [[1,0,0,1],
[0,1,0,0]],
[[1,0,0,0],
[0,1,0,1]],
[[1,3,0,0],
[0,1,0,0]],
[[1,3,0,0],
[0,4,0,0]],
[[1,2,0,0],
[0,3,0,0]],
[[4,0,0,0],
[0,1,0,0]],
[[3,0,0,0],
[0,1,0,0]] ]
: # options #add <StandardPresentationFile> for <value> if set and ok # StandardPresentationFile := value, #sub <ClassBound> for <27> if set
ClassBound := 27,
PcgsAutomorphisms);;
¤ Dauer der Verarbeitung: 0.12 Sekunden
(vorverarbeitet)
¤
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
