File: 12.17.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 (26 lines) | stat: -rw-r--r-- 643 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
20
21
22
23
24
25
26
 
gap> A:=1;;C:=2;;D:=3;;B:=4;;
gap> Ap:=5;;Cp:=6;;Dp:=7;;Bp:=8;;

gap> L:=[[A,B,D,C],[Bp,Dp,Cp,Ap]];;
gap> M:=[[A,B,Bp,Ap],[Cp,C,D,Dp]];;
gap> N:=[[A,C,Cp,Ap],[D,Dp,Bp,B]];;
gap> Ex3:=PoincareCubeCWComplex(L,M,N);
Regular CW-complex of dimension 3

gap> IsClosedManifold(Ex3);

true

gap> L:=[[A,B,D,C],[Bp,Dp,Cp,Ap]];;
gap> M:=[[A,B,Bp,Ap],[C,D,Dp,Cp]];;
gap> N:=[[A,C,Cp,Ap],[B,D,Dp,Bp]];;
gap> Ex4:=PoincareCubeCWComplex(L,M,N);
Regular CW-complex of dimension 3

gap> IsClosedManifold(Ex4);
true

gap> List([0..3],k->Homology(Ex3,k));
[ [ 0 ], [ 2, 2 ], [  ], [ 0 ] ]
gap> List([0..3],k->Homology(Ex4,k));
[ [ 0 ], [ 2, 0 ], [ 0 ], [ 0 ] ]