1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
gap> R:=ResolutionPSL2QuadraticIntegers(-6,4);
Resolution of length 4 in characteristic 0 for PSL(2,O-6) .
No contracting homotopy available.
gap> G:=R!.group;;
gap> M:=HomogeneousPolynomials(G,24);;
gap> C:=HomToIntegralModule(R,M);;
gap> Cohomology(C,1);
[ 2, 2, 2, 2, 12, 24, 9240, 55440, 0, 0, 0, 0 ]
gap> Cohomology(C,2);
[ 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
2, 6, 6, 6, 6, 6, 6, 6, 6, 12, 12, 12, 12, 12, 12, 12, 12, 12, 24, 120, 120,
840, 840, 840, 2520, 27720, 27720, 24227280, 24227280, 411863760, 411863760,
2454438243748928651877425142836664498129840,
14726629462493571911264550857019986988779040, 0, 0, 0, 0 ]
gap> Cohomology(C,3);
[ 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 4, 12,
12 ]
|
