Computational Homology Project

homcubes -R -G -C -E -i rep3d_f.map rep3d_x.cub rep3d_a.cub rep3d_y.cub rep3d_b.cub --log v3-rgce.log --quiet

Start time: Sun Sep  7 09:34:46 2003

HOMCUBES, ver. 3.04, 09/05/03. Copyright (C) 1997-2003 by Pawel Pilarczyk.
This is free software. No warranty. Consult 'license.txt' for details.
[Tech info: cube 4, qcell 8, chain 12, addr 4, coord 2, intgr 2. PBase Ok.]
Reading cubes to X  from 'rep3d_x.cub'... 2136 cubes read.
Reading cubes to A  from 'rep3d_a.cub'... 1016 cubes read.
Computing X\A... 0 cubes removed from X, 2136 left.
Restricting A to the neighbors of X\A... 362 cubes removed, 654 left in A.
Reading cubes to Y  from 'rep3d_y.cub'... 2136 cubes read.
Reading cubes to B  from 'rep3d_b.cub'... 2712 cubes read.
Computing Y\B... 0 cubes removed from Y, 2136 left.
Verifying if X\A is contained in Y... Passed.
Verifying if A is contained in B... Passed.
Reading the map on X\A from 'rep3d_f.map'... Done.
Verifying if the image of X\A is contained in Y... Passed.
Reading the map on A from 'rep3d_f.map'... Done.
Verifying if the image of A is contained in B... Passed.
Verifying if the image of A is disjoint from Y\B... Passed.
Computing the image of the map... and of the inclusion... 4042 cubes.
Transforming X\A into a set of cells... 2136 cells created.
Transforming A into a set of cells... 654 cells created.
Transforming Y\B into a set of cells... 2136 cells created.
Transforming B into a set of cells... 2712 cells created.
Adding boundaries of cubical cells in X and A... 36546 cubical cells added.
Creating the map F on cells in X... 254370 cubes added.
Creating the map F on cells in A... 87348 cubes added.
Creating the full graph of F|A... 1472112 cells added.
Creating the full graph of F... 3675780 cells added.
Adding boundaries of cubical cells in Y and B... 21516 cubical cells added.
Forgetting 6824 cells from B.
Creating the chain complex of the graph of F... Done.
Creating the chain complex of Y... Done.
Creating the chain map of the projection... Done.
Creating the chain map of the inclusion... Done.
Vertices used: 10436 of dim 3, 254488 of dim 6.
Time used so far: 173 sec (2.9 min) out of 434 sec (7.2 min).
Computing the homology of the graph of F over the ring of integers...
Reducing D_4: 0 + 375198 reductions made. 
Reducing D_3: 416214 + 223048 reductions made. 
Reducing D_2: 390925 + 140820 reductions made. 
Reducing D_1: 114591 + 39678 reductions made. 
H_0 = 0
H_1 = Z
H_2 = Z
Computing the homology of Y over the ring of integers...
Reducing D_3: 2109 + 27 reductions made. 
Reducing D_2: 3511 + 2560 reductions made. 
Reducing D_1: 2250 + 825 reductions made. 
H_0 = 0
H_1 = Z
H_2 = Z
The map induced in homology is as follows:
Dim 0:	0
Dim 1:	f (x1) = -y1
Dim 2:	f (x1) = y1
The map induced in homology by the inclusion:
Dim 0:	0
Dim 1:	i (x1) = -y1
Dim 2:	i (x1) = y1
The inverse of the map induced by the inclusion:
Dim 0:	0
Dim 1:	I (y1) = -x1
Dim 2:	I (y1) = x1
The composition of F and the inverse of the map induced by the inclusion:
Dim 0:	0
Dim 1:	F (x1) = x1
Dim 2:	F (x1) = x1
Total time used: 13420 sec (3.7 hours) out of 34161 sec (9.5 hours).