International Allegro CL Enterprise Edition
8.1 [Windows] (Nov 20, 2008 16:34)
Copyright (C) 1985-2007, Franz Inc., Oakland, CA, USA.  All Rights Reserved.

This development copy of Allegro CL is licensed to:
   [TC16573] Universidad de La Rioja

CG version 1.103.2.10 / IDE version 1.103.2.15
Loaded options from C:\Documents and Settings\sergeraert.ESUS\Mis documentos\allegro-prefs-8-1.cl.

;; Optimization settings: safety 1, space 1, speed 1, debug 2.
;; For a complete description of all compiler switches given the current optimization settings evaluate (EXPLAIN-COMPILER-SETTINGS).
CL-USER(1): (load "cat-init")
; Loading C:\Documents and Settings\sergeraert.ESUS\Mis documentos\Kenzo-8\K-Z-n\cat-init.cl

 FILE  1: macros
 FILE  2: various
 FILE  3: classes
 FILE  4: combinations
 FILE  5: chain-complexes
 FILE  6: chcm-elementary-op
 FILE  7: effective-homology
 FILE  8: homology-groups
 FILE  9: searching-homology
 FILE 10: cones
 FILE 11: bicones
 FILE 12: tensor-products
 FILE 13: coalgebras
 FILE 14: cobar
 FILE 15: algebras
 FILE 16: bar
 FILE 17: simplicial-sets
 FILE 18: simplicial-mrphs
 FILE 19: delta
 FILE 20: special-smsts
 FILE 21: suspensions
 FILE 22: disk-pasting
 FILE 23: chain-complexes-dvf
 FILE 24: cartesian-products
 FILE 25: eilenberg-zilber
 FILE 26: kan
 FILE 27: simplicial-groups
 FILE 28: fibrations
 FILE 29: fibrations-dvf
 FILE 30: loop-spaces
 FILE 31: ls-twisted-products
 FILE 32: lp-space-efhm
 FILE 33: classifying-spaces
 FILE 34: classifying-spaces-dvf
 FILE 35: k-pi-n
 FILE 36: whitehead
 FILE 37: smith

*** Kenzo-Version 1.1.8.5 ***

T
CL-USER(2): (load-cfiles)
; Fast loading C:\Documents and Settings\sergeraert.ESUS\Mis documentos\Kenzo-8\K-Z-n\macros.fasl
; Fast loading C:\Documents and Settings\sergeraert.ESUS\Mis documentos\Kenzo-8\K-Z-n\various.fasl
; Fast loading C:\Documents and Settings\sergeraert.ESUS\Mis documentos\Kenzo-8\K-Z-n\classes.fasl
; Fast loading C:\Documents and Settings\sergeraert.ESUS\Mis documentos\Kenzo-8\K-Z-n\combinations.fasl
; Fast loading C:\Documents and Settings\sergeraert.ESUS\Mis documentos\Kenzo-8\K-Z-n\chain-complexes.fasl
; Fast loading C:\Documents and Settings\sergeraert.ESUS\Mis documentos\Kenzo-8\K-Z-n\chcm-elementary-op.fasl
; Fast loading C:\Documents and Settings\sergeraert.ESUS\Mis documentos\Kenzo-8\K-Z-n\effective-homology.fasl
; Fast loading C:\Documents and Settings\sergeraert.ESUS\Mis documentos\Kenzo-8\K-Z-n\homology-groups.fasl
; Fast loading C:\Documents and Settings\sergeraert.ESUS\Mis documentos\Kenzo-8\K-Z-n\searching-homology.fasl
; Fast loading C:\Documents and Settings\sergeraert.ESUS\Mis documentos\Kenzo-8\K-Z-n\cones.fasl
; Fast loading C:\Documents and Settings\sergeraert.ESUS\Mis documentos\Kenzo-8\K-Z-n\bicones.fasl
; Fast loading C:\Documents and Settings\sergeraert.ESUS\Mis documentos\Kenzo-8\K-Z-n\tensor-products.fasl
; Fast loading C:\Documents and Settings\sergeraert.ESUS\Mis documentos\Kenzo-8\K-Z-n\coalgebras.fasl
; Fast loading C:\Documents and Settings\sergeraert.ESUS\Mis documentos\Kenzo-8\K-Z-n\cobar.fasl
; Fast loading C:\Documents and Settings\sergeraert.ESUS\Mis documentos\Kenzo-8\K-Z-n\algebras.fasl
; Fast loading C:\Documents and Settings\sergeraert.ESUS\Mis documentos\Kenzo-8\K-Z-n\bar.fasl
; Fast loading C:\Documents and Settings\sergeraert.ESUS\Mis documentos\Kenzo-8\K-Z-n\simplicial-sets.fasl
; Fast loading C:\Documents and Settings\sergeraert.ESUS\Mis documentos\Kenzo-8\K-Z-n\simplicial-mrphs.fasl
; Fast loading C:\Documents and Settings\sergeraert.ESUS\Mis documentos\Kenzo-8\K-Z-n\delta.fasl
; Fast loading C:\Documents and Settings\sergeraert.ESUS\Mis documentos\Kenzo-8\K-Z-n\special-smsts.fasl
; Fast loading C:\Documents and Settings\sergeraert.ESUS\Mis documentos\Kenzo-8\K-Z-n\suspensions.fasl
; Fast loading C:\Documents and Settings\sergeraert.ESUS\Mis documentos\Kenzo-8\K-Z-n\disk-pasting.fasl
; Fast loading C:\Documents and Settings\sergeraert.ESUS\Mis documentos\Kenzo-8\K-Z-n\chain-complexes-dvf.fasl
; Fast loading C:\Documents and Settings\sergeraert.ESUS\Mis documentos\Kenzo-8\K-Z-n\cartesian-products.fasl
; Fast loading C:\Documents and Settings\sergeraert.ESUS\Mis documentos\Kenzo-8\K-Z-n\eilenberg-zilber.fasl
; Fast loading C:\Documents and Settings\sergeraert.ESUS\Mis documentos\Kenzo-8\K-Z-n\kan.fasl
; Fast loading C:\Documents and Settings\sergeraert.ESUS\Mis documentos\Kenzo-8\K-Z-n\simplicial-groups.fasl
; Fast loading C:\Documents and Settings\sergeraert.ESUS\Mis documentos\Kenzo-8\K-Z-n\fibrations.fasl
; Fast loading C:\Documents and Settings\sergeraert.ESUS\Mis documentos\Kenzo-8\K-Z-n\fibrations-dvf.fasl
; Fast loading C:\Documents and Settings\sergeraert.ESUS\Mis documentos\Kenzo-8\K-Z-n\loop-spaces.fasl
; Fast loading C:\Documents and Settings\sergeraert.ESUS\Mis documentos\Kenzo-8\K-Z-n\ls-twisted-products.fasl
; Fast loading C:\Documents and Settings\sergeraert.ESUS\Mis documentos\Kenzo-8\K-Z-n\lp-space-efhm.fasl
; Fast loading C:\Documents and Settings\sergeraert.ESUS\Mis documentos\Kenzo-8\K-Z-n\classifying-spaces.fasl
; Fast loading C:\Documents and Settings\sergeraert.ESUS\Mis documentos\Kenzo-8\K-Z-n\classifying-spaces-dvf.fasl
; Fast loading C:\Documents and Settings\sergeraert.ESUS\Mis documentos\Kenzo-8\K-Z-n\k-pi-n.fasl
; Fast loading C:\Documents and Settings\sergeraert.ESUS\Mis documentos\Kenzo-8\K-Z-n\whitehead.fasl
; Fast loading C:\Documents and Settings\sergeraert.ESUS\Mis documentos\Kenzo-8\K-Z-n\smith.fasl
("macros" "various" "classes" "combinations" "chain-complexes" "chcm-elementary-op" "effective-homology" "homology-groups" "searching-homology" "cones" ...)
CL-USER(3): (time (progn
        (cat-init)
        (setf s3 (sphere 3))
        (setf os3 (loop-space s3))
        (setf attach (list (loop3 0 's3 2)
                           (absm 3 (loop3)) (absm 3 (loop3)) (absm 3 (loop3))))
        (setf dos3 (disk-pasting os3 3 'd3 attach))
        (setf cc2 (chml-clss dos3 2))
        (setf f2 (z2-whitehead dos3 cc2))
        (setf x3 (fibration-total f2))
        (kill-epis x3 1 3)
        (setf cc3 (chml-clss x3 3))
        (setf f3 (z2-whitehead x3 cc3))
        (setf x4 (fibration-total f3))
        (kill-epis x4 2 4)
        (setf cc41 (chml-clss x4 4))
        (setf f41 (z-whitehead x4 cc41))
        (setf x41 (fibration-total f41))
        (kill-epi x41 3)
        (setf cc42 (chml-clss x41 4))
        (setf f42 (z2-whitehead x41 cc42))
        (setf x42 (fibration-total f42))
        (kill-epi x42 3)
        (setf cc43 (chml-clss x42 4))
        (setf f43 (z2-whitehead x42 cc43))
        (setf x5 (fibration-total f43))
        (homology x5 5)
#|        (kill-epis x5 3 5)
        (setf cc51 (chml-clss x5 5))
        (setf f51 (z2-whitehead x5 cc51))
        (setf x51 (fibration-total f51))
        (homology x51 5)
        (kill-epi x51 4)
        (setf cc52 (chml-clss x51 5))
        (setf f52 (z2-whitehead x51 cc52))
        (setf x52 (fibration-total f52))
        (homology x52 5)
|#        ))

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


;; Clock -> 2013-04-01, 17h 4m 27s.
Computing the boundary of the generator 1/14 (dimension 5) :
<TnPr <TnPr <TnPr <TnPr <TnPr <<AlLp>> 0> <<Abar>>> <<Abar>>> <<Abar>>> <<Abar[5 <<Abar[4 3]>>]>>> 
End of computing.


;; Clock -> 2013-04-01, 17h 4m 27s.
Computing the boundary of the generator 2/14 (dimension 5) :
<TnPr <TnPr <TnPr <TnPr <TnPr <<AlLp>> 0> <<Abar>>> <<Abar>>> <<Abar>>> <<Abar[5 <<Abar[2 1][2 1]>>]>>> 
End of computing.


;; Clock -> 2013-04-01, 17h 4m 27s.
Computing the boundary of the generator 3/14 (dimension 5) :
<TnPr <TnPr <TnPr <TnPr <TnPr <<AlLp>> 0> <<Abar>>> <<Abar>>> <<Abar[5 <<Abar[4 3]>>]>>> <<Abar>>> 
End of computing.


;; Clock -> 2013-04-01, 17h 4m 27s.
Computing the boundary of the generator 4/14 (dimension 5) :
<TnPr <TnPr <TnPr <TnPr <TnPr <<AlLp>> 0> <<Abar>>> <<Abar>>> <<Abar[5 <<Abar[2 1][2 1]>>]>>> <<Abar>>> 
End of computing.


;; Clock -> 2013-04-01, 17h 4m 27s.
Computing the boundary of the generator 5/14 (dimension 5) :
<TnPr <TnPr <TnPr <TnPr <TnPr <<AlLp>> 0> <<Abar>>> <<Abar[5 <<Abar[2 S1][2 S1]>>]>>> <<Abar>>> <<Abar>>> 
End of computing.


;; Clock -> 2013-04-01, 17h 4m 27s.
Computing the boundary of the generator 6/14 (dimension 5) :
<TnPr <TnPr <TnPr <TnPr <TnPr <<AlLp>> 0> <<Abar[5 4]>>> <<Abar>>> <<Abar>>> <<Abar>>> 
End of computing.


;; Clock -> 2013-04-01, 17h 4m 27s.
Computing the boundary of the generator 7/14 (dimension 5) :
<TnPr <TnPr <TnPr <TnPr <TnPr <<AlLp>> 0> <<Abar[2 1][3 2]>>> <<Abar>>> <<Abar>>> <<Abar>>> 
End of computing.


;; Clock -> 2013-04-01, 17h 4m 27s.
Computing the boundary of the generator 8/14 (dimension 5) :
<TnPr <TnPr <TnPr <TnPr <TnPr <<AlLp>> 0> <<Abar[3 2][2 1]>>> <<Abar>>> <<Abar>>> <<Abar>>> 
End of computing.


;; Clock -> 2013-04-01, 17h 4m 27s.
Computing the boundary of the generator 9/14 (dimension 5) :
<TnPr <TnPr <TnPr <TnPr GN-00000 <<Abar[2 1]>>> <<Abar>>> <<Abar>>> <<Abar>>> 
End of computing.


;; Clock -> 2013-04-01, 17h 4m 27s.
Computing the boundary of the generator 10/14 (dimension 5) :
<TnPr <TnPr <TnPr <TnPr GN-00001 <<Abar[2 1]>>> <<Abar>>> <<Abar>>> <<Abar>>> 
End of computing.


;; Clock -> 2013-04-01, 17h 4m 27s.
Computing the boundary of the generator 11/14 (dimension 5) :
<TnPr <TnPr <TnPr <TnPr <TnPr <<AlLp>> 5> <<Abar>>> <<Abar>>> <<Abar>>> <<Abar>>> 
End of computing.


;; Clock -> 2013-04-01, 17h 4m 27s.
Computing the boundary of the generator 12/14 (dimension 5) :
<TnPr <TnPr <TnPr <TnPr <TnPr <<AlLp[2 S3]>> 3> <<Abar>>> <<Abar>>> <<Abar>>> <<Abar>>> 
End of computing.


;; Clock -> 2013-04-01, 17h 4m 28s.
Computing the boundary of the generator 13/14 (dimension 5) :
<TnPr <TnPr <TnPr <TnPr <TnPr D3 2> <<Abar>>> <<Abar>>> <<Abar>>> <<Abar>>> 
End of computing.


;; Clock -> 2013-04-01, 17h 4m 29s.
Computing the boundary of the generator 14/14 (dimension 5) :
<TnPr <TnPr <TnPr <TnPr <TnPr <<AlLp[2 S3][2 S3]>> 1> <<Abar>>> <<Abar>>> <<Abar>>> <<Abar>>> 
End of computing.


Computing boundary-matrix in dimension 6.
Rank of the source-module : 25.


;; Clock -> 2013-04-01, 17h 4m 30s.
Computing the boundary of the generator 1/25 (dimension 6) :
<TnPr <TnPr <TnPr <TnPr <TnPr <<AlLp>> 0> <<Abar>>> <<Abar>>> <<Abar>>> <<Abar[6 <<Abar[5 4]>>]>>> 
End of computing.


;; Clock -> 2013-04-01, 17h 4m 30s.
Computing the boundary of the generator 2/25 (dimension 6) :
<TnPr <TnPr <TnPr <TnPr <TnPr <<AlLp>> 0> <<Abar>>> <<Abar>>> <<Abar>>> <<Abar[6 <<Abar[2 1][3 2]>>]>>> 
End of computing.


;; Clock -> 2013-04-01, 17h 4m 30s.
Computing the boundary of the generator 3/25 (dimension 6) :
<TnPr <TnPr <TnPr <TnPr <TnPr <<AlLp>> 0> <<Abar>>> <<Abar>>> <<Abar>>> <<Abar[6 <<Abar[3 2][2 1]>>]>>> 
End of computing.


;; Clock -> 2013-04-01, 17h 4m 30s.
Computing the boundary of the generator 4/25 (dimension 6) :
<TnPr <TnPr <TnPr <TnPr <TnPr <<AlLp>> 0> <<Abar>>> <<Abar>>> <<Abar>>> <<Abar[3 <<Abar[2 1]>>][3 <<Abar[2 1]>>]>>> 
End of computing.


;; Clock -> 2013-04-01, 17h 4m 30s.
Computing the boundary of the generator 5/25 (dimension 6) :
<TnPr <TnPr <TnPr <TnPr <TnPr <<AlLp>> 0> <<Abar>>> <<Abar>>> <<Abar[6 <<Abar[5 4]>>]>>> <<Abar>>> 
End of computing.


;; Clock -> 2013-04-01, 17h 4m 30s.
Computing the boundary of the generator 6/25 (dimension 6) :
<TnPr <TnPr <TnPr <TnPr <TnPr <<AlLp>> 0> <<Abar>>> <<Abar>>> <<Abar[6 <<Abar[2 1][3 2]>>]>>> <<Abar>>> 
End of computing.


;; Clock -> 2013-04-01, 17h 4m 30s.
Computing the boundary of the generator 7/25 (dimension 6) :
<TnPr <TnPr <TnPr <TnPr <TnPr <<AlLp>> 0> <<Abar>>> <<Abar>>> <<Abar[6 <<Abar[3 2][2 1]>>]>>> <<Abar>>> 
End of computing.


;; Clock -> 2013-04-01, 17h 4m 30s.
Computing the boundary of the generator 8/25 (dimension 6) :
<TnPr <TnPr <TnPr <TnPr <TnPr <<AlLp>> 0> <<Abar>>> <<Abar>>> <<Abar[3 <<Abar[2 1]>>][3 <<Abar[2 1]>>]>>> <<Abar>>> 
End of computing.


;; Clock -> 2013-04-01, 17h 4m 30s.
Computing the boundary of the generator 9/25 (dimension 6) :
<TnPr <TnPr <TnPr <TnPr <TnPr <<AlLp>> 0> <<Abar>>> <<Abar[3 <<Abar[2 S1]>>][3 <<Abar[2 S1]>>]>>> <<Abar>>> <<Abar>>> 
End of computing.


;; Clock -> 2013-04-01, 17h 4m 30s.
Computing the boundary of the generator 10/25 (dimension 6) :
<TnPr <TnPr <TnPr <TnPr <TnPr <<AlLp>> 0> <<Abar[6 5]>>> <<Abar>>> <<Abar>>> <<Abar>>> 
End of computing.


;; Clock -> 2013-04-01, 17h 4m 31s.
Computing the boundary of the generator 11/25 (dimension 6) :
<TnPr <TnPr <TnPr <TnPr <TnPr <<AlLp>> 0> <<Abar[2 1][4 3]>>> <<Abar>>> <<Abar>>> <<Abar>>> 
End of computing.


;; Clock -> 2013-04-01, 17h 4m 34s.
Computing the boundary of the generator 12/25 (dimension 6) :
<TnPr <TnPr <TnPr <TnPr <TnPr <<AlLp>> 0> <<Abar[3 2][3 2]>>> <<Abar>>> <<Abar>>> <<Abar>>> 
End of computing.


;; Clock -> 2013-04-01, 17h 4m 35s.
Computing the boundary of the generator 13/25 (dimension 6) :
<TnPr <TnPr <TnPr <TnPr <TnPr <<AlLp>> 0> <<Abar[4 3][2 1]>>> <<Abar>>> <<Abar>>> <<Abar>>> 
End of computing.


;; Clock -> 2013-04-01, 17h 4m 37s.
Computing the boundary of the generator 14/25 (dimension 6) :
<TnPr <TnPr <TnPr <TnPr <TnPr <<AlLp>> 0> <<Abar[2 1][2 1][2 1]>>> <<Abar>>> <<Abar>>> <<Abar>>> 
End of computing.


;; Clock -> 2013-04-01, 17h 4m 38s.
Computing the boundary of the generator 15/25 (dimension 6) :
<TnPr <TnPr <TnPr <TnPr GN-00000 <<Abar[3 2]>>> <<Abar>>> <<Abar>>> <<Abar>>> 
End of computing.


;; Clock -> 2013-04-01, 17h 4m 46s.
Computing the boundary of the generator 16/25 (dimension 6) :
<TnPr <TnPr <TnPr <TnPr GN-00001 <<Abar[3 2]>>> <<Abar>>> <<Abar>>> <<Abar>>> 
End of computing.


;; Clock -> 2013-04-01, 17h 4m 46s.
Computing the boundary of the generator 17/25 (dimension 6) :
<TnPr <TnPr <TnPr <TnPr <TnPr <<AlLp>> 4> <<Abar[2 1]>>> <<Abar>>> <<Abar>>> <<Abar>>> 
End of computing.


;; Clock -> 2013-04-01, 17h 4m 47s.
Computing the boundary of the generator 18/25 (dimension 6) :
<TnPr <TnPr <TnPr <TnPr <TnPr <<AlLp[2 S3]>> 2> <<Abar[2 1]>>> <<Abar>>> <<Abar>>> <<Abar>>> 
End of computing.


;; Clock -> 2013-04-01, 17h 5m 7s.
Computing the boundary of the generator 19/25 (dimension 6) :
<TnPr <TnPr <TnPr <TnPr <TnPr D3 1> <<Abar[2 1]>>> <<Abar>>> <<Abar>>> <<Abar>>> 
End of computing.


;; Clock -> 2013-04-01, 17h 5m 17s.
Computing the boundary of the generator 20/25 (dimension 6) :
<TnPr <TnPr <TnPr <TnPr <TnPr <<AlLp[2 S3][2 S3]>> 0> <<Abar[2 1]>>> <<Abar>>> <<Abar>>> <<Abar>>> 
End of computing.


;; Clock -> 2013-04-01, 17h 5m 28s.
Computing the boundary of the generator 21/25 (dimension 6) :
<TnPr <TnPr <TnPr <TnPr <TnPr <<AlLp>> 6> <<Abar>>> <<Abar>>> <<Abar>>> <<Abar>>> 
End of computing.


;; Clock -> 2013-04-01, 17h 5m 28s.
Computing the boundary of the generator 22/25 (dimension 6) :
<TnPr <TnPr <TnPr <TnPr <TnPr <<AlLp[2 S3]>> 4> <<Abar>>> <<Abar>>> <<Abar>>> <<Abar>>> 
*CR* -- Cut = 0.0022043553 -- N = 3811
End of computing.


;; Clock -> 2013-04-01, 17h 5m 45s.
Computing the boundary of the generator 23/25 (dimension 6) :
<TnPr <TnPr <TnPr <TnPr <TnPr D3 3> <<Abar>>> <<Abar>>> <<Abar>>> <<Abar>>> 
End of computing.


;; Clock -> 2013-04-01, 17h 6m 20s.
Computing the boundary of the generator 24/25 (dimension 6) :
<TnPr <TnPr <TnPr <TnPr <TnPr <<AlLp[2 S3][2 S3]>> 2> <<Abar>>> <<Abar>>> <<Abar>>> <<Abar>>> 
*CR* -- Cut = 0.004211884 -- N = 7099
*CR* -- Cut = 0.0073587876 -- N = 11447
End of computing.


;; Clock -> 2013-04-01, 17h 9m 8s.
Computing the boundary of the generator 25/25 (dimension 6) :
<TnPr <TnPr <TnPr <TnPr <TnPr <<AlLp[2 S3][2 S3][2 S3]>> 0> <<Abar>>> <<Abar>>> <<Abar>>> <<Abar>>> 
*CR* -- Cut = 0.008728439 -- N = 13753
*CR* -- Cut = 0.011060558 -- N = 16403
*CR* -- Cut = 0.013273468 -- N = 20183
End of computing.




Homology in dimension 5 :


Component Z/2Z

Component Z/2Z

Component Z/2Z

Component Z/2Z


---done---

;; Clock -> 2013-04-01, 17h 11m 58s.

; cpu time (non-gc) 304,921 msec (00:05:04.921) user, 1,094 msec system
; cpu time (gc)     147,361 msec (00:02:27.361) user, 0 msec system
; cpu time (total)  452,282 msec (00:07:32.282) user, 1,094 msec system
; real time  453,766 msec (00:07:33.766)
; space allocation:
;  478,996,289 cons cells, 1,516,755,720 other bytes, 8,192 static bytes
NIL
CL-USER(4):