File: 7.4.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 (18 lines) | stat: -rw-r--r-- 595 bytes parent folder | download | duplicates (2) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
 
gap> G:=SpaceGroupIT(3,103);
SpaceGroupOnRightIT(3,103,'1')
gap> R:=ResolutionCubicalCrystGroup(G,100);
Resolution of length 100 in characteristic 0 for <matrix group with 6 generators> . 

gap> D:=List([0..99],n->Cohomology(HomToIntegersModP(R,2),n));;
gap> PoincareSeries(D,99);
(x_1^3+2*x_1^2+2*x_1+1)/(-x_1+1)


#Torsion subgroups are cyclic
gap> B:=CrystGFullBasis(G);;
gap> C:=CrystGcomplex(GeneratorsOfGroup(G),B,1);;
gap> for n in [0..3] do
> for k in [1..C!.dimension(n)] do
> Print(StructureDescription(C!.stabilizer(n,k)),"  ");
> od;od;
C4  C2  C4  1  1  C4  C2  C4  1  1  1  1