CoCalc Logo Icon
StoreFeaturesDocsShareSupportNewsAboutSign UpSign In

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

Views: 418346
Tweet
Share
Share
#Example: "11gp-SP-b-Rel-i" . . . based on: isom/11gp_b.com
#(equivalent to "11gp-SP-b-i" but uses the `Relators' option)
#vars: F, rels, procId;
#options: OutputLevel, ClassBound, StandardPresentationFile
F := FreeGroup("a", "b", "c");
rels := ["a^11", "b^11", "c^11", "[b, a, a, a, b, a]", 
         "[c, a]", "[c, b]", "[b, a, b]"];
procId := PqStart(F : Prime := 11, Relators := rels);
#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);;