File: 2gp-PG-e4-i

package info (click to toggle)
gap-anupq 3.3.1-1
  • links: PTS
  • area: main
  • in suites: trixie
  • size: 8,076 kB
  • sloc: ansic: 15,243; xml: 5,208; sh: 1,611; makefile: 275; perl: 260; javascript: 155
file content (19 lines) | stat: -rw-r--r-- 749 bytes parent folder | download | duplicates (2) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
 
#Example: "2gp-PG-e4-i" . . . based on: examples/pga_exp4
#All 2-generator exponent 4 2-groups
#vars: F, procId;
#options: OutputLevel
F := FreeGroup("a", "b");
procId := PqStart(F : Prime := 2);
#comment: set a different print level by supplying <OutputLevel>
PqPcPresentation(procId : ClassBound := 1, 
#sub <OutputLevel> for <1> if set and ok
                          OutputLevel := 1);;
PqComputePCover(procId);;
PqPGSupplyAutomorphisms(procId, [ [[0,1],
                                   [1,1]],

                                  [[0,1],
                                   [1,0]] ]);;
PqPGConstructDescendants(procId : ClassBound := 12,
                                  PcgsAutomorphisms,
                                  Exponent := 4);;