#Example: "Nott-PG-Rel-i" . . . based on: examples/pga_nott
#Start point for Nottingham group
#vars: F, rels, procId;
#options: OutputLevel, OutputFile
F := FreeGroup("a", "b");
rels := ["a^5", "b^5", "[b, a, b]"];
procId := PqStart(F : Prime := 5, Relators := rels);
#comment: set a different print level by supplying <OutputLevel>
PqPcPresentation(procId : ClassBound := 3,
#sub <OutputLevel> for <1> if set and ok
OutputLevel := 1);;
PqComputePCover(procId);;
#comment: save the presentation to a different file by supplying <OutputFile>
#sub <OutputFile> for <ANUPQData.outfile> if set and ok
PqSavePcPresentation(procId, ANUPQData.outfile);;
PqPGSupplyAutomorphisms(procId, [ [[1,0,0,0],
[0,1,0,1]],
[[1,1,0,0],
[0,1,0,1]],
[[1,0,0,0],
[0,4,0,0]],
[[1,0,0,0],
[0,2,0,0]],
[[4,0,0,0],
[0,1,0,0]],
[[2,0,0,0],
[0,1,0,0]] ]);;
PqPGConstructDescendants(procId : ClassBound := 4,
CapableDescendants,
StepSize := 1,
PcgsAutomorphisms,
RankInitialSegmentSubgroups := 4);;
¤ 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.0.14Bemerkung:
(vorverarbeitet)
¤
*© Formatika GbR, Deutschland
|
|
