Real-time collaboration for Jupyter Notebooks, Linux Terminals, LaTeX, VS Code, R IDE, and more,
all in one place.
Real-time collaboration for Jupyter Notebooks, Linux Terminals, LaTeX, VS Code, R IDE, and more,
all in one place.
| Download
GAP 4.8.9 installation with standard packages -- copy to your CoCalc project to get it
Project: cocalc-sagemath-dev-slelievre
Views: 418346#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);;