> 
--------------------------------------------------<Comment>
;; Loading the Kenzo program.
--------------------------------------------------
> 
--------------------------------------------------<Lisp Statement>
(LOAD-CFILES)
--------------------------------------------------
> 
--------------------------------------------------<Result>
; Fast loading C:\Docume~1\Francis\AA\Kenzo\Kenzo-2\classes.fasl
; Fast loading C:\Docume~1\Francis\AA\Kenzo\Kenzo-2\macros.fasl
; Fast loading C:\Docume~1\Francis\AA\Kenzo\Kenzo-2\various.fasl
; Fast loading C:\Docume~1\Francis\AA\Kenzo\Kenzo-2\combinations.fasl
; Fast loading C:\Docume~1\Francis\AA\Kenzo\Kenzo-2\chain-complexes.fasl
; Fast loading C:\Docume~1\Francis\AA\Kenzo\Kenzo-2\chcm-elementary-op.fasl
; Fast loading C:\Docume~1\Francis\AA\Kenzo\Kenzo-2\effective-homology.fasl
; Fast loading C:\Docume~1\Francis\AA\Kenzo\Kenzo-2\homology-groups.fasl
; Fast loading C:\Docume~1\Francis\AA\Kenzo\Kenzo-2\searching-homology.fasl
; Fast loading C:\Docume~1\Francis\AA\Kenzo\Kenzo-2\cones.fasl
; Fast loading C:\Docume~1\Francis\AA\Kenzo\Kenzo-2\tensor-products.fasl
; Fast loading C:\Docume~1\Francis\AA\Kenzo\Kenzo-2\coalgebras.fasl
; Fast loading C:\Docume~1\Francis\AA\Kenzo\Kenzo-2\cobar.fasl
; Fast loading C:\Docume~1\Francis\AA\Kenzo\Kenzo-2\algebras.fasl
; Fast loading C:\Docume~1\Francis\AA\Kenzo\Kenzo-2\bar.fasl
; Fast loading C:\Docume~1\Francis\AA\Kenzo\Kenzo-2\simplicial-sets.fasl
; Fast loading C:\Docume~1\Francis\AA\Kenzo\Kenzo-2\simplicial-mrphs.fasl
; Fast loading C:\Docume~1\Francis\AA\Kenzo\Kenzo-2\delta.fasl
; Fast loading C:\Docume~1\Francis\AA\Kenzo\Kenzo-2\special-smsts.fasl
; Fast loading C:\Docume~1\Francis\AA\Kenzo\Kenzo-2\suspensions.fasl
; Fast loading C:\Docume~1\Francis\AA\Kenzo\Kenzo-2\disk-pasting.fasl
; Fast loading C:\Docume~1\Francis\AA\Kenzo\Kenzo-2\cartesian-products.fasl
; Fast loading C:\Docume~1\Francis\AA\Kenzo\Kenzo-2\eilenberg-zilber.fasl
; Fast loading C:\Docume~1\Francis\AA\Kenzo\Kenzo-2\kan.fasl
; Fast loading C:\Docume~1\Francis\AA\Kenzo\Kenzo-2\simplicial-groups.fasl
; Fast loading C:\Docume~1\Francis\AA\Kenzo\Kenzo-2\fibrations.fasl
; Fast loading C:\Docume~1\Francis\AA\Kenzo\Kenzo-2\loop-spaces.fasl
; Fast loading C:\Docume~1\Francis\AA\Kenzo\Kenzo-2\ls-twisted-products.fasl
; Fast loading C:\Docume~1\Francis\AA\Kenzo\Kenzo-2\lp-space-efhm.fasl
; Fast loading C:\Docume~1\Francis\AA\Kenzo\Kenzo-2\classifying-spaces.fasl
; Fast loading C:\Docume~1\Francis\AA\Kenzo\Kenzo-2\k-pi-n.fasl
; Fast loading C:\Docume~1\Francis\AA\Kenzo\Kenzo-2\serre.fasl
; Fast loading C:\Docume~1\Francis\AA\Kenzo\Kenzo-2\cs-twisted-products.fasl
; Fast loading C:\Docume~1\Francis\AA\Kenzo\Kenzo-2\cl-space-efhm.fasl
; Fast loading C:\Docume~1\Francis\AA\Kenzo\Kenzo-2\whitehead.fasl
; Fast loading C:\Docume~1\Francis\AA\Kenzo\Kenzo-2\smith.fasl
--- done ---
--------------------------------------------------
> 
--------------------------------------------------<Comment>
;;  The infinite real-projective-space stunted at dimension 4.
--------------------------------------------------
> 
--------------------------------------------------<Lisp Statement>
(SETF P4 (R-PROJ-SPACE 4))
--------------------------------------------------
> 
--------------------------------------------------<Result>
[K1 Simplicial-Set]
--------------------------------------------------
> 
--------------------------------------------------<Comment>
;;  The third loop space Omega^3(P4).
--------------------------------------------------
> 
--------------------------------------------------<Lisp Statement>
(SETF O3P4 (LOOP-SPACE P4 3))
--------------------------------------------------
> 
--------------------------------------------------<Result>
[K15 Simplicial-Group]
--------------------------------------------------
> 
--------------------------------------------------<Comment>
;;  Extracting the intersting chain-complex.
--------------------------------------------------
> 
--------------------------------------------------<Lisp Statement>
(SETF CW-O3P4 (RBCC (EFHM O3P4)))
--------------------------------------------------
> 
--------------------------------------------------<Result>
[K357 Chain-Complex]
--------------------------------------------------
> 
--------------------------------------------------<Comment>
;;  Computing an interesting boundary matrix.
--------------------------------------------------
> 
--------------------------------------------------<Lisp Statement>
(CHCM-MAT CW-O3P4 5)
--------------------------------------------------
> 
--------------------------------------------------<Result>

Computing boundary-matrix in dimension 5.
Rank of the source-module : 33.


;; Clock -> 2006-08-25, 17h 56m 16s.
Computing the boundary of the generator 1 (dimension 5) :
<<AlLp[5 <<AlLp[6 <<AlLp[7 8]>>]>>]>> 
End of computing.


;; Clock -> 2006-08-25, 17h 56m 19s.
Computing the boundary of the generator 2 (dimension 5) :
<<AlLp[5 <<AlLp[6 <<AlLp[3 4][4 5]>>]>>]>> 
End of computing.


;; Clock -> 2006-08-25, 17h 56m 19s.
Computing the boundary of the generator 3 (dimension 5) :
<<AlLp[5 <<AlLp[6 <<AlLp[4 5][3 4]>>]>>]>> 
End of computing.


;; Clock -> 2006-08-25, 17h 56m 19s.
Computing the boundary of the generator 4 (dimension 5) :
<<AlLp[5 <<AlLp[2 <<AlLp[3 4]>>][4 <<AlLp[5 6]>>]>>]>> 
End of computing.


;; Clock -> 2006-08-25, 17h 56m 19s.
Computing the boundary of the generator 5 (dimension 5) :
<<AlLp[5 <<AlLp[3 <<AlLp[4 5]>>][3 <<AlLp[4 5]>>]>>]>> 
End of computing.


;; Clock -> 2006-08-25, 17h 56m 19s.
Computing the boundary of the generator 6 (dimension 5) :
<<AlLp[5 <<AlLp[4 <<AlLp[5 6]>>][2 <<AlLp[3 4]>>]>>]>> 
End of computing.


;; Clock -> 2006-08-25, 17h 56m 20s.
Computing the boundary of the generator 7 (dimension 5) :
<<AlLp[5 <<AlLp[2 <<AlLp[3 4]>>][2 <<AlLp[3 4]>>][2 <<AlLp[3 4]>>]>>]>> 
End of computing.


;; Clock -> 2006-08-25, 17h 56m 20s.
Computing the boundary of the generator 8 (dimension 5) :
<<AlLp[1 <<AlLp[2 <<AlLp[3 4]>>]>>][4 <<AlLp[5 <<AlLp[6 7]>>]>>]>> 
End of computing.


;; Clock -> 2006-08-25, 17h 56m 20s.
Computing the boundary of the generator 9 (dimension 5) :
<<AlLp[1 <<AlLp[2 <<AlLp[3 4]>>]>>][4 <<AlLp[5 <<AlLp[3 4][3 4]>>]>>]>> 
End of computing.


;; Clock -> 2006-08-25, 17h 56m 20s.
Computing the boundary of the generator 10 (dimension 5) :
<<AlLp[1 <<AlLp[2 <<AlLp[3 4]>>]>>][4 <<AlLp[2 <<AlLp[3 4]>>][3 <<AlLp[4 5]>>]>>]>> 
End of computing.


;; Clock -> 2006-08-25, 17h 56m 20s.
Computing the boundary of the generator 11 (dimension 5) :
<<AlLp[1 <<AlLp[2 <<AlLp[3 4]>>]>>][4 <<AlLp[3 <<AlLp[4 5]>>][2 <<AlLp[3 4]>>]>>]>> 
End of computing.


;; Clock -> 2006-08-25, 17h 56m 20s.
Computing the boundary of the generator 12 (dimension 5) :
<<AlLp[2 <<AlLp[3 <<AlLp[4 5]>>]>>][3 <<AlLp[4 <<AlLp[5 6]>>]>>]>> 
End of computing.


;; Clock -> 2006-08-25, 17h 56m 21s.
Computing the boundary of the generator 13 (dimension 5) :
<<AlLp[2 <<AlLp[3 <<AlLp[4 5]>>]>>][3 <<AlLp[2 <<AlLp[3 4]>>][2 <<AlLp[3 4]>>]>>]>> 
End of computing.


;; Clock -> 2006-08-25, 17h 56m 21s.
Computing the boundary of the generator 14 (dimension 5) :
<<AlLp[3 <<AlLp[4 <<AlLp[5 6]>>]>>][2 <<AlLp[3 <<AlLp[4 5]>>]>>]>> 
End of computing.


;; Clock -> 2006-08-25, 17h 56m 21s.
Computing the boundary of the generator 15 (dimension 5) :
<<AlLp[3 <<AlLp[2 <<AlLp[3 4]>>][2 <<AlLp[3 4]>>]>>][2 <<AlLp[3 <<AlLp[4 5]>>]>>]>> 
End of computing.


;; Clock -> 2006-08-25, 17h 56m 21s.
Computing the boundary of the generator 16 (dimension 5) :
<<AlLp[4 <<AlLp[5 <<AlLp[6 7]>>]>>][1 <<AlLp[2 <<AlLp[3 4]>>]>>]>> 
End of computing.


;; Clock -> 2006-08-25, 17h 56m 21s.
Computing the boundary of the generator 17 (dimension 5) :
<<AlLp[4 <<AlLp[5 <<AlLp[3 4][3 4]>>]>>][1 <<AlLp[2 <<AlLp[3 4]>>]>>]>> 
End of computing.


;; Clock -> 2006-08-25, 17h 56m 21s.
Computing the boundary of the generator 18 (dimension 5) :
<<AlLp[4 <<AlLp[2 <<AlLp[3 4]>>][3 <<AlLp[4 5]>>]>>][1 <<AlLp[2 <<AlLp[3 4]>>]>>]>> 
End of computing.


;; Clock -> 2006-08-25, 17h 56m 21s.
Computing the boundary of the generator 19 (dimension 5) :
<<AlLp[4 <<AlLp[3 <<AlLp[4 5]>>][2 <<AlLp[3 4]>>]>>][1 <<AlLp[2 <<AlLp[3 4]>>]>>]>> 
End of computing.


;; Clock -> 2006-08-25, 17h 56m 21s.
Computing the boundary of the generator 20 (dimension 5) :
<<AlLp[1 <<AlLp[2 <<AlLp[3 4]>>]>>][1 <<AlLp[2 <<AlLp[3 4]>>]>>][3 <<AlLp[4 <<AlLp[5 6]>>]>>]>> 
End of computing.


;; Clock -> 2006-08-25, 17h 56m 21s.
Computing the boundary of the generator 21 (dimension 5) :
<<AlLp[1 <<AlLp[2 <<AlLp[3 4]>>]>>][1 <<AlLp[2 <<AlLp[3 4]>>]>>][3 <<AlLp[2 <<AlLp[3 4]>>][2 <<AlLp[3 4]>>]>>]>> 
End of computing.


;; Clock -> 2006-08-25, 17h 56m 22s.
Computing the boundary of the generator 22 (dimension 5) :
<<AlLp[1 <<AlLp[2 <<AlLp[3 4]>>]>>][2 <<AlLp[3 <<AlLp[4 5]>>]>>][2 <<AlLp[3 <<AlLp[4 5]>>]>>]>> 
End of computing.


;; Clock -> 2006-08-25, 17h 56m 22s.
Computing the boundary of the generator 23 (dimension 5) :
<<AlLp[1 <<AlLp[2 <<AlLp[3 4]>>]>>][3 <<AlLp[4 <<AlLp[5 6]>>]>>][1 <<AlLp[2 <<AlLp[3 4]>>]>>]>> 
End of computing.


;; Clock -> 2006-08-25, 17h 56m 22s.
Computing the boundary of the generator 24 (dimension 5) :
<<AlLp[1 <<AlLp[2 <<AlLp[3 4]>>]>>][3 <<AlLp[2 <<AlLp[3 4]>>][2 <<AlLp[3 4]>>]>>][1 <<AlLp[2 <<AlLp[3 4]>>]>>]>> 
End of computing.


;; Clock -> 2006-08-25, 17h 56m 22s.
Computing the boundary of the generator 25 (dimension 5) :
<<AlLp[2 <<AlLp[3 <<AlLp[4 5]>>]>>][1 <<AlLp[2 <<AlLp[3 4]>>]>>][2 <<AlLp[3 <<AlLp[4 5]>>]>>]>> 
End of computing.


;; Clock -> 2006-08-25, 17h 56m 22s.
Computing the boundary of the generator 26 (dimension 5) :
<<AlLp[2 <<AlLp[3 <<AlLp[4 5]>>]>>][2 <<AlLp[3 <<AlLp[4 5]>>]>>][1 <<AlLp[2 <<AlLp[3 4]>>]>>]>> 
End of computing.


;; Clock -> 2006-08-25, 17h 56m 22s.
Computing the boundary of the generator 27 (dimension 5) :
<<AlLp[3 <<AlLp[4 <<AlLp[5 6]>>]>>][1 <<AlLp[2 <<AlLp[3 4]>>]>>][1 <<AlLp[2 <<AlLp[3 4]>>]>>]>> 
End of computing.


;; Clock -> 2006-08-25, 17h 56m 23s.
Computing the boundary of the generator 28 (dimension 5) :
<<AlLp[3 <<AlLp[2 <<AlLp[3 4]>>][2 <<AlLp[3 4]>>]>>][1 <<AlLp[2 <<AlLp[3 4]>>]>>][1 <<AlLp[2 <<AlLp[3 4]>>]>>]>> 
End of computing.


;; Clock -> 2006-08-25, 17h 56m 24s.
Computing the boundary of the generator 29 (dimension 5) :
<<AlLp[1 <<AlLp[2 <<AlLp[3 4]>>]>>][1 <<AlLp[2 <<AlLp[3 4]>>]>>][1 <<AlLp[2 <<AlLp[3 4]>>]>>][2 <<AlLp[3 <<AlLp[4 5]>>]>>]>> 
End of computing.


;; Clock -> 2006-08-25, 17h 56m 24s.
Computing the boundary of the generator 30 (dimension 5) :
<<AlLp[1 <<AlLp[2 <<AlLp[3 4]>>]>>][1 <<AlLp[2 <<AlLp[3 4]>>]>>][2 <<AlLp[3 <<AlLp[4 5]>>]>>][1 <<AlLp[2 <<AlLp[3 4]>>]>>]>> 
End of computing.


;; Clock -> 2006-08-25, 17h 56m 24s.
Computing the boundary of the generator 31 (dimension 5) :
<<AlLp[1 <<AlLp[2 <<AlLp[3 4]>>]>>][2 <<AlLp[3 <<AlLp[4 5]>>]>>][1 <<AlLp[2 <<AlLp[3 4]>>]>>][1 <<AlLp[2 <<AlLp[3 4]>>]>>]>> 
End of computing.


;; Clock -> 2006-08-25, 17h 56m 24s.
Computing the boundary of the generator 32 (dimension 5) :
<<AlLp[2 <<AlLp[3 <<AlLp[4 5]>>]>>][1 <<AlLp[2 <<AlLp[3 4]>>]>>][1 <<AlLp[2 <<AlLp[3 4]>>]>>][1 <<AlLp[2 <<AlLp[3 4]>>]>>]>> 
End of computing.


;; Clock -> 2006-08-25, 17h 56m 24s.
Computing the boundary of the generator 33 (dimension 5) :
<<AlLp[1 <<AlLp[2 <<AlLp[3 4]>>]>>][1 <<AlLp[2 <<AlLp[3 4]>>]>>][1 <<AlLp[2 <<AlLp[3 4]>>]>>][1 <<AlLp[2 <<AlLp[3 4]>>]>>][1 <<AlLp[2 <<AlLp[3 4]>>]>>]>> 
End of computing.


========== MATRIX 13 lines + 33 columns =====
L1=[C1=-2]
L2=[C1=-1]
L3=[C1=-4][C2=1][C3=-1][C4=-2]
L4=[C2=1][C3=-1][C6=2]
L5=[C1=6][C4=1][C6=1]
L6=[C1=4][C4=4][C6=4][C7=3]
L7=[C1=4][C12=-2][C14=2]
L8=[C1=6][C4=1][C6=1]
L9=[C1=4][C4=4][C6=4][C7=3]
L10=[C8=4][C10=1][C11=-1][C14=-4][C15=-2][C20=-2]
L11=[C1=4][C8=4][C10=1][C11=-1][C16=-4][C18=-1][C19=1][C23=-2]
L12=[C12=4][C13=2][C16=-4][C18=-1][C19=1][C27=-2]
L13=[C1=-1][C20=4][C21=2][C23=-4][C24=-2][C27=4][C28=2]
========== END-MATRIX
--------------------------------------------------
> 
--------------------------------------------------<Comment>
;;  The corresponding homology group.
--------------------------------------------------
> 
--------------------------------------------------<Lisp Statement>
(HOMOLOGY O3P4 4)
--------------------------------------------------
> 
--------------------------------------------------<Result>

Computing boundary-matrix in dimension 4.
Rank of the source-module : 13.


;; Clock -> 2006-08-25, 17h 56m 31s.
Computing the boundary of the generator 1 (dimension 4) :
<<AlLp[4 <<AlLp[5 <<AlLp[6 7]>>]>>]>> 
End of computing.


;; Clock -> 2006-08-25, 17h 56m 31s.
Computing the boundary of the generator 2 (dimension 4) :
<<AlLp[4 <<AlLp[5 <<AlLp[3 4][3 4]>>]>>]>> 
End of computing.


;; Clock -> 2006-08-25, 17h 56m 31s.
Computing the boundary of the generator 3 (dimension 4) :
<<AlLp[4 <<AlLp[2 <<AlLp[3 4]>>][3 <<AlLp[4 5]>>]>>]>> 
End of computing.


;; Clock -> 2006-08-25, 17h 56m 31s.
Computing the boundary of the generator 4 (dimension 4) :
<<AlLp[4 <<AlLp[3 <<AlLp[4 5]>>][2 <<AlLp[3 4]>>]>>]>> 
End of computing.


;; Clock -> 2006-08-25, 17h 56m 31s.
Computing the boundary of the generator 5 (dimension 4) :
<<AlLp[1 <<AlLp[2 <<AlLp[3 4]>>]>>][3 <<AlLp[4 <<AlLp[5 6]>>]>>]>> 
End of computing.


;; Clock -> 2006-08-25, 17h 56m 31s.
Computing the boundary of the generator 6 (dimension 4) :
<<AlLp[1 <<AlLp[2 <<AlLp[3 4]>>]>>][3 <<AlLp[2 <<AlLp[3 4]>>][2 <<AlLp[3 4]>>]>>]>> 
End of computing.


;; Clock -> 2006-08-25, 17h 56m 31s.
Computing the boundary of the generator 7 (dimension 4) :
<<AlLp[2 <<AlLp[3 <<AlLp[4 5]>>]>>][2 <<AlLp[3 <<AlLp[4 5]>>]>>]>> 
End of computing.


;; Clock -> 2006-08-25, 17h 56m 31s.
Computing the boundary of the generator 8 (dimension 4) :
<<AlLp[3 <<AlLp[4 <<AlLp[5 6]>>]>>][1 <<AlLp[2 <<AlLp[3 4]>>]>>]>> 
End of computing.


;; Clock -> 2006-08-25, 17h 56m 31s.
Computing the boundary of the generator 9 (dimension 4) :
<<AlLp[3 <<AlLp[2 <<AlLp[3 4]>>][2 <<AlLp[3 4]>>]>>][1 <<AlLp[2 <<AlLp[3 4]>>]>>]>> 
End of computing.


;; Clock -> 2006-08-25, 17h 56m 31s.
Computing the boundary of the generator 10 (dimension 4) :
<<AlLp[1 <<AlLp[2 <<AlLp[3 4]>>]>>][1 <<AlLp[2 <<AlLp[3 4]>>]>>][2 <<AlLp[3 <<AlLp[4 5]>>]>>]>> 
End of computing.


;; Clock -> 2006-08-25, 17h 56m 31s.
Computing the boundary of the generator 11 (dimension 4) :
<<AlLp[1 <<AlLp[2 <<AlLp[3 4]>>]>>][2 <<AlLp[3 <<AlLp[4 5]>>]>>][1 <<AlLp[2 <<AlLp[3 4]>>]>>]>> 
End of computing.


;; Clock -> 2006-08-25, 17h 56m 31s.
Computing the boundary of the generator 12 (dimension 4) :
<<AlLp[2 <<AlLp[3 <<AlLp[4 5]>>]>>][1 <<AlLp[2 <<AlLp[3 4]>>]>>][1 <<AlLp[2 <<AlLp[3 4]>>]>>]>> 
End of computing.


;; Clock -> 2006-08-25, 17h 56m 31s.
Computing the boundary of the generator 13 (dimension 4) :
<<AlLp[1 <<AlLp[2 <<AlLp[3 4]>>]>>][1 <<AlLp[2 <<AlLp[3 4]>>]>>][1 <<AlLp[2 <<AlLp[3 4]>>]>>][1 <<AlLp[2 <<AlLp[3 4]>>]>>]>> 
End of computing.


Computing boundary-matrix in dimension 5.
Rank of the source-module : 33.


;; Clock -> 2006-08-25, 17h 56m 32s.
Computing the boundary of the generator 1 (dimension 5) :
<<AlLp[5 <<AlLp[6 <<AlLp[7 8]>>]>>]>> 
End of computing.


;; Clock -> 2006-08-25, 17h 56m 32s.
Computing the boundary of the generator 2 (dimension 5) :
<<AlLp[5 <<AlLp[6 <<AlLp[3 4][4 5]>>]>>]>> 
End of computing.


;; Clock -> 2006-08-25, 17h 56m 32s.
Computing the boundary of the generator 3 (dimension 5) :
<<AlLp[5 <<AlLp[6 <<AlLp[4 5][3 4]>>]>>]>> 
End of computing.


;; Clock -> 2006-08-25, 17h 56m 32s.
Computing the boundary of the generator 4 (dimension 5) :
<<AlLp[5 <<AlLp[2 <<AlLp[3 4]>>][4 <<AlLp[5 6]>>]>>]>> 
End of computing.


;; Clock -> 2006-08-25, 17h 56m 32s.
Computing the boundary of the generator 5 (dimension 5) :
<<AlLp[5 <<AlLp[3 <<AlLp[4 5]>>][3 <<AlLp[4 5]>>]>>]>> 
End of computing.


;; Clock -> 2006-08-25, 17h 56m 32s.
Computing the boundary of the generator 6 (dimension 5) :
<<AlLp[5 <<AlLp[4 <<AlLp[5 6]>>][2 <<AlLp[3 4]>>]>>]>> 
End of computing.


;; Clock -> 2006-08-25, 17h 56m 32s.
Computing the boundary of the generator 7 (dimension 5) :
<<AlLp[5 <<AlLp[2 <<AlLp[3 4]>>][2 <<AlLp[3 4]>>][2 <<AlLp[3 4]>>]>>]>> 
End of computing.


;; Clock -> 2006-08-25, 17h 56m 32s.
Computing the boundary of the generator 8 (dimension 5) :
<<AlLp[1 <<AlLp[2 <<AlLp[3 4]>>]>>][4 <<AlLp[5 <<AlLp[6 7]>>]>>]>> 
End of computing.


;; Clock -> 2006-08-25, 17h 56m 32s.
Computing the boundary of the generator 9 (dimension 5) :
<<AlLp[1 <<AlLp[2 <<AlLp[3 4]>>]>>][4 <<AlLp[5 <<AlLp[3 4][3 4]>>]>>]>> 
End of computing.


;; Clock -> 2006-08-25, 17h 56m 32s.
Computing the boundary of the generator 10 (dimension 5) :
<<AlLp[1 <<AlLp[2 <<AlLp[3 4]>>]>>][4 <<AlLp[2 <<AlLp[3 4]>>][3 <<AlLp[4 5]>>]>>]>> 
End of computing.


;; Clock -> 2006-08-25, 17h 56m 32s.
Computing the boundary of the generator 11 (dimension 5) :
<<AlLp[1 <<AlLp[2 <<AlLp[3 4]>>]>>][4 <<AlLp[3 <<AlLp[4 5]>>][2 <<AlLp[3 4]>>]>>]>> 
End of computing.


;; Clock -> 2006-08-25, 17h 56m 32s.
Computing the boundary of the generator 12 (dimension 5) :
<<AlLp[2 <<AlLp[3 <<AlLp[4 5]>>]>>][3 <<AlLp[4 <<AlLp[5 6]>>]>>]>> 
End of computing.


;; Clock -> 2006-08-25, 17h 56m 32s.
Computing the boundary of the generator 13 (dimension 5) :
<<AlLp[2 <<AlLp[3 <<AlLp[4 5]>>]>>][3 <<AlLp[2 <<AlLp[3 4]>>][2 <<AlLp[3 4]>>]>>]>> 
End of computing.


;; Clock -> 2006-08-25, 17h 56m 32s.
Computing the boundary of the generator 14 (dimension 5) :
<<AlLp[3 <<AlLp[4 <<AlLp[5 6]>>]>>][2 <<AlLp[3 <<AlLp[4 5]>>]>>]>> 
End of computing.


;; Clock -> 2006-08-25, 17h 56m 32s.
Computing the boundary of the generator 15 (dimension 5) :
<<AlLp[3 <<AlLp[2 <<AlLp[3 4]>>][2 <<AlLp[3 4]>>]>>][2 <<AlLp[3 <<AlLp[4 5]>>]>>]>> 
End of computing.


;; Clock -> 2006-08-25, 17h 56m 32s.
Computing the boundary of the generator 16 (dimension 5) :
<<AlLp[4 <<AlLp[5 <<AlLp[6 7]>>]>>][1 <<AlLp[2 <<AlLp[3 4]>>]>>]>> 
End of computing.


;; Clock -> 2006-08-25, 17h 56m 32s.
Computing the boundary of the generator 17 (dimension 5) :
<<AlLp[4 <<AlLp[5 <<AlLp[3 4][3 4]>>]>>][1 <<AlLp[2 <<AlLp[3 4]>>]>>]>> 
End of computing.


;; Clock -> 2006-08-25, 17h 56m 32s.
Computing the boundary of the generator 18 (dimension 5) :
<<AlLp[4 <<AlLp[2 <<AlLp[3 4]>>][3 <<AlLp[4 5]>>]>>][1 <<AlLp[2 <<AlLp[3 4]>>]>>]>> 
End of computing.


;; Clock -> 2006-08-25, 17h 56m 32s.
Computing the boundary of the generator 19 (dimension 5) :
<<AlLp[4 <<AlLp[3 <<AlLp[4 5]>>][2 <<AlLp[3 4]>>]>>][1 <<AlLp[2 <<AlLp[3 4]>>]>>]>> 
End of computing.


;; Clock -> 2006-08-25, 17h 56m 32s.
Computing the boundary of the generator 20 (dimension 5) :
<<AlLp[1 <<AlLp[2 <<AlLp[3 4]>>]>>][1 <<AlLp[2 <<AlLp[3 4]>>]>>][3 <<AlLp[4 <<AlLp[5 6]>>]>>]>> 
End of computing.


;; Clock -> 2006-08-25, 17h 56m 32s.
Computing the boundary of the generator 21 (dimension 5) :
<<AlLp[1 <<AlLp[2 <<AlLp[3 4]>>]>>][1 <<AlLp[2 <<AlLp[3 4]>>]>>][3 <<AlLp[2 <<AlLp[3 4]>>][2 <<AlLp[3 4]>>]>>]>> 
End of computing.


;; Clock -> 2006-08-25, 17h 56m 32s.
Computing the boundary of the generator 22 (dimension 5) :
<<AlLp[1 <<AlLp[2 <<AlLp[3 4]>>]>>][2 <<AlLp[3 <<AlLp[4 5]>>]>>][2 <<AlLp[3 <<AlLp[4 5]>>]>>]>> 
End of computing.


;; Clock -> 2006-08-25, 17h 56m 32s.
Computing the boundary of the generator 23 (dimension 5) :
<<AlLp[1 <<AlLp[2 <<AlLp[3 4]>>]>>][3 <<AlLp[4 <<AlLp[5 6]>>]>>][1 <<AlLp[2 <<AlLp[3 4]>>]>>]>> 
End of computing.


;; Clock -> 2006-08-25, 17h 56m 32s.
Computing the boundary of the generator 24 (dimension 5) :
<<AlLp[1 <<AlLp[2 <<AlLp[3 4]>>]>>][3 <<AlLp[2 <<AlLp[3 4]>>][2 <<AlLp[3 4]>>]>>][1 <<AlLp[2 <<AlLp[3 4]>>]>>]>> 
End of computing.


;; Clock -> 2006-08-25, 17h 56m 32s.
Computing the boundary of the generator 25 (dimension 5) :
<<AlLp[2 <<AlLp[3 <<AlLp[4 5]>>]>>][1 <<AlLp[2 <<AlLp[3 4]>>]>>][2 <<AlLp[3 <<AlLp[4 5]>>]>>]>> 
End of computing.


;; Clock -> 2006-08-25, 17h 56m 33s.
Computing the boundary of the generator 26 (dimension 5) :
<<AlLp[2 <<AlLp[3 <<AlLp[4 5]>>]>>][2 <<AlLp[3 <<AlLp[4 5]>>]>>][1 <<AlLp[2 <<AlLp[3 4]>>]>>]>> 
End of computing.


;; Clock -> 2006-08-25, 17h 56m 33s.
Computing the boundary of the generator 27 (dimension 5) :
<<AlLp[3 <<AlLp[4 <<AlLp[5 6]>>]>>][1 <<AlLp[2 <<AlLp[3 4]>>]>>][1 <<AlLp[2 <<AlLp[3 4]>>]>>]>> 
End of computing.


;; Clock -> 2006-08-25, 17h 56m 33s.
Computing the boundary of the generator 28 (dimension 5) :
<<AlLp[3 <<AlLp[2 <<AlLp[3 4]>>][2 <<AlLp[3 4]>>]>>][1 <<AlLp[2 <<AlLp[3 4]>>]>>][1 <<AlLp[2 <<AlLp[3 4]>>]>>]>> 
End of computing.


;; Clock -> 2006-08-25, 17h 56m 33s.
Computing the boundary of the generator 29 (dimension 5) :
<<AlLp[1 <<AlLp[2 <<AlLp[3 4]>>]>>][1 <<AlLp[2 <<AlLp[3 4]>>]>>][1 <<AlLp[2 <<AlLp[3 4]>>]>>][2 <<AlLp[3 <<AlLp[4 5]>>]>>]>> 
End of computing.


;; Clock -> 2006-08-25, 17h 56m 33s.
Computing the boundary of the generator 30 (dimension 5) :
<<AlLp[1 <<AlLp[2 <<AlLp[3 4]>>]>>][1 <<AlLp[2 <<AlLp[3 4]>>]>>][2 <<AlLp[3 <<AlLp[4 5]>>]>>][1 <<AlLp[2 <<AlLp[3 4]>>]>>]>> 
End of computing.


;; Clock -> 2006-08-25, 17h 56m 33s.
Computing the boundary of the generator 31 (dimension 5) :
<<AlLp[1 <<AlLp[2 <<AlLp[3 4]>>]>>][2 <<AlLp[3 <<AlLp[4 5]>>]>>][1 <<AlLp[2 <<AlLp[3 4]>>]>>][1 <<AlLp[2 <<AlLp[3 4]>>]>>]>> 
End of computing.


;; Clock -> 2006-08-25, 17h 56m 33s.
Computing the boundary of the generator 32 (dimension 5) :
<<AlLp[2 <<AlLp[3 <<AlLp[4 5]>>]>>][1 <<AlLp[2 <<AlLp[3 4]>>]>>][1 <<AlLp[2 <<AlLp[3 4]>>]>>][1 <<AlLp[2 <<AlLp[3 4]>>]>>]>> 
End of computing.


;; Clock -> 2006-08-25, 17h 56m 33s.
Computing the boundary of the generator 33 (dimension 5) :
<<AlLp[1 <<AlLp[2 <<AlLp[3 4]>>]>>][1 <<AlLp[2 <<AlLp[3 4]>>]>>][1 <<AlLp[2 <<AlLp[3 4]>>]>>][1 <<AlLp[2 <<AlLp[3 4]>>]>>][1 <<AlLp[2 <<AlLp[3 4]>>]>>]>> 
End of computing.




Homology in dimension 4 :


Component Z/3Z

Component Z/2Z

Component Z/2Z

Component Z/2Z

Component Z


---done---

;; Clock -> 2006-08-25, 17h 56m 33s.

NIL
--------------------------------------------------
> 
--------------------------------------------------<Comment>
;;  H_4(O3P4) = Z + Z_2^3 + Z_3
--------------------------------------------------
> 
--------------------------------------------------<Comment>
;; +-----------------+
;; +                 |
;; +     The END     |
;; +                 |
;; +-----------------+
--------------------------------------------------
>