File: 14.2a.txt

package info (click to toggle)
gap-hap 1.70%2Bds-1
  • links: PTS
  • area: main
  • in suites: forky, sid
  • size: 56,612 kB
  • sloc: xml: 16,139; sh: 216; javascript: 155; makefile: 126; ansic: 47; perl: 36
file content (15 lines) | stat: -rw-r--r-- 511 bytes parent folder | download | duplicates (2)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
gap> F:=FreeGroup(2);;D:=F/[F.1^2,F.1*F.2*F.1^-1*F.2^-2];;
gap> R:=ResolutionSmallGroup(D,15);;
gap> Size(R);
[ 4, 7, 8, 6, 4, 8, 8, 6, 4, 8, 8, 6, 4, 8, 8 ]
gap> C:=TensorWithIntegersOverSubgroup(R,Group(One(D)));;
gap> n:=4;;BoundaryMatrix(C,n)=BoundaryMatrix(C,n+4);
true
gap> n:=5;;BoundaryMatrix(C,n)=BoundaryMatrix(C,n+4);
true
gap> n:=6;;BoundaryMatrix(C,n)=BoundaryMatrix(C,n+4);
true
gap> n:=7;;BoundaryMatrix(C,n)=BoundaryMatrix(C,n+4);
true
gap> n:=8;;BoundaryMatrix(C,n)=BoundaryMatrix(C,n+4);
true