Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/GAP/pkg/anupq/examples/   (Algebra von RWTH Aachen Version 4.15.1©)  Datei vom 28.7.2025 mit Größe 1 kB image not shown  

Quelle  7gp-SP-a-Rel-i   Sprache: unbekannt

 
#Example: "7gp-SP-a-Rel-i" . . . based on: isom/7gp_a
#vars: F, rels, procId;
#options: OutputLevel, ClassBound, StandardPresentationFile
F := FreeGroup("a", "b");
rels := ["b^7", "a^7 * [b, a, b]^-1", "(a * b * [b, a, b] )^7",
         "[b, a, a, a, a, b, a]"];
procId := PqStart(F : Prime := 7, 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 := 3);;
#comment: set a different `ClassBound' by supplying
#comment: also save the presentation to a file by supplying <StandardPresentationFile>
PqSPStandardPresentation(procId, [ [[1,0,0,0],
                                    [0,1,0,1]],

                                   [[1,3,0,0],
                                    [0,1,0,0]],

                                   [[6,0,0,0],
                                    [0,1,0,0]],

                                   [[3,0,0,0],
                                    [0,1,0,0]],

                                   [[1,2,0,0],
                                    [0,1,0,0]],

                                   [[1,4,0,0],
                                    [0,4,0,0]] ]

                         : # options
#add <StandardPresentationFile> for <value> if set and ok
#                          StandardPresentationFile := value,
#sub <ClassBound> for <20> if set
                           ClassBound := 20,
                           PcgsAutomorphisms);;

87%


[ Dauer der Verarbeitung: 0.19 Sekunden  (vorverarbeitet)  ]