> -------------------------------------------------- ;; Loading the Kenzo program. -------------------------------------------------- > -------------------------------------------------- (LOAD-CFILES) -------------------------------------------------- > -------------------------------------------------- ; 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 --- -------------------------------------------------- > -------------------------------------------------- ;; Illustration for Eilenberg-Zilber theorem. ;; ;; S5 = unit-sphere of dimension 5. -------------------------------------------------- > -------------------------------------------------- (SETF S5 (SPHERE 5)) -------------------------------------------------- > -------------------------------------------------- [K1 Simplicial-Set] -------------------------------------------------- > -------------------------------------------------- ;; S5SQ = S5 x S5. -------------------------------------------------- > -------------------------------------------------- (SETF S5SQ (CRTS-PRDC S5 S5)) -------------------------------------------------- > -------------------------------------------------- [K3 Simplicial-Set] -------------------------------------------------- > -------------------------------------------------- ;; Effective homology. -------------------------------------------------- > -------------------------------------------------- (SETF EFHM (EFHM S5SQ)) -------------------------------------------------- > -------------------------------------------------- [K33 Equivalence K3 <= K23 => K8] -------------------------------------------------- > -------------------------------------------------- ;; Comparison of the basis of K3 and K8. -------------------------------------------------- > -------------------------------------------------- (DOTIMES (I 11) (PRINT (LIST (LENGTH (BASIS (K 3) I)) (LENGTH (BASIS (K 8) I)))))) -------------------------------------------------- > -------------------------------------------------- (1 1) (0 0) (0 0) (0 0) (0 0) (3 2) (30 0) (210 0) (560 0) (630 0) (252 1) -------------------------------------------------- > -------------------------------------------------- ;; Kenzo KNOWS the homology of K8 is easier. -------------------------------------------------- > -------------------------------------------------- (HOMOLOGY (K 3) 9) -------------------------------------------------- > -------------------------------------------------- Computing boundary-matrix in dimension 9. Rank of the source-module : 0. Computing boundary-matrix in dimension 10. Rank of the source-module : 1. ;; Clock -> 2006-08-25, 17h 48m 3s. Computing the boundary of the generator 1 (dimension 10) : End of computing. Homology in dimension 9 : ---done--- ;; Clock -> 2006-08-25, 17h 48m 3s. NIL -------------------------------------------------- > -------------------------------------------------- ;; We hide the effective-homology. -------------------------------------------------- > -------------------------------------------------- (SLOT-MAKUNBOUND S5SQ 'EFHM) -------------------------------------------------- > -------------------------------------------------- [K3 Simplicial-Set] -------------------------------------------------- > -------------------------------------------------- ;; Inspection. -------------------------------------------------- > -------------------------------------------------- (INSPECT S5SQ) -------------------------------------------------- > -------------------------------------------------- # -------------------------------------------------- > -------------------------------------------------- ;; Computing the same homology. -------------------------------------------------- > -------------------------------------------------- (HOMOLOGY S5SQ 9) -------------------------------------------------- > -------------------------------------------------- Computing boundary-matrix in dimension 9. Rank of the source-module : 0. Computing boundary-matrix in dimension 10. Rank of the source-module : 1. ;; Clock -> 2006-08-25, 17h 48m 26s. Computing the boundary of the generator 1 (dimension 10) : End of computing. Homology in dimension 9 : ---done--- ;; Clock -> 2006-08-25, 17h 48m 26s. NIL -------------------------------------------------- > -------------------------------------------------- ;; Same computation !! Why ??? ;; ;; Reinspecting. -------------------------------------------------- > -------------------------------------------------- (INSPECT S5SQ) -------------------------------------------------- > -------------------------------------------------- # -------------------------------------------------- > -------------------------------------------------- ;; We must hide the effective homology ;; AND the definition. -------------------------------------------------- > -------------------------------------------------- (PROGN (SLOT-MAKUNBOUND S5SQ 'EFHM) (SETF (SLOT-VALUE S5SQ 'DFNT) '(HIDDEN-DFNT)) (DONE)) -------------------------------------------------- > -------------------------------------------------- ---done--- -------------------------------------------------- > -------------------------------------------------- ;; Reinspecting. -------------------------------------------------- > -------------------------------------------------- (INSPECT S5SQ) -------------------------------------------------- > -------------------------------------------------- # -------------------------------------------------- > -------------------------------------------------- ;; Same computation. -------------------------------------------------- > -------------------------------------------------- (HOMOLOGY S5SQ 9) -------------------------------------------------- > -------------------------------------------------- Computing boundary-matrix in dimension 9. Rank of the source-module : 630. ;; Clock -> 2006-08-25, 17h 48m 51s. Computing the boundary of the generator 1 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 51s. Computing the boundary of the generator 2 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 51s. Computing the boundary of the generator 3 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 51s. Computing the boundary of the generator 4 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 51s. Computing the boundary of the generator 5 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 51s. Computing the boundary of the generator 6 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 51s. Computing the boundary of the generator 7 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 51s. Computing the boundary of the generator 8 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 51s. Computing the boundary of the generator 9 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 51s. Computing the boundary of the generator 10 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 51s. Computing the boundary of the generator 11 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 51s. Computing the boundary of the generator 12 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 51s. Computing the boundary of the generator 13 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 51s. Computing the boundary of the generator 14 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 51s. Computing the boundary of the generator 15 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 51s. Computing the boundary of the generator 16 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 51s. Computing the boundary of the generator 17 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 51s. Computing the boundary of the generator 18 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 52s. Computing the boundary of the generator 19 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 52s. Computing the boundary of the generator 20 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 52s. Computing the boundary of the generator 21 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 52s. Computing the boundary of the generator 22 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 52s. Computing the boundary of the generator 23 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 52s. Computing the boundary of the generator 24 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 52s. Computing the boundary of the generator 25 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 52s. Computing the boundary of the generator 26 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 52s. Computing the boundary of the generator 27 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 52s. Computing the boundary of the generator 28 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 52s. Computing the boundary of the generator 29 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 52s. Computing the boundary of the generator 30 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 52s. Computing the boundary of the generator 31 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 52s. Computing the boundary of the generator 32 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 52s. Computing the boundary of the generator 33 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 52s. Computing the boundary of the generator 34 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 52s. Computing the boundary of the generator 35 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 52s. Computing the boundary of the generator 36 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 52s. Computing the boundary of the generator 37 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 52s. Computing the boundary of the generator 38 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 52s. Computing the boundary of the generator 39 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 52s. Computing the boundary of the generator 40 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 52s. Computing the boundary of the generator 41 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 52s. Computing the boundary of the generator 42 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 52s. Computing the boundary of the generator 43 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 52s. Computing the boundary of the generator 44 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 52s. Computing the boundary of the generator 45 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 52s. Computing the boundary of the generator 46 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 52s. Computing the boundary of the generator 47 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 52s. Computing the boundary of the generator 48 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 52s. Computing the boundary of the generator 49 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 52s. Computing the boundary of the generator 50 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 52s. Computing the boundary of the generator 51 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 52s. Computing the boundary of the generator 52 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 52s. Computing the boundary of the generator 53 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 52s. Computing the boundary of the generator 54 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 52s. Computing the boundary of the generator 55 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 52s. Computing the boundary of the generator 56 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 52s. Computing the boundary of the generator 57 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 52s. Computing the boundary of the generator 58 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 52s. Computing the boundary of the generator 59 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 52s. Computing the boundary of the generator 60 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 52s. Computing the boundary of the generator 61 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 52s. Computing the boundary of the generator 62 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 52s. Computing the boundary of the generator 63 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 52s. Computing the boundary of the generator 64 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 52s. Computing the boundary of the generator 65 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 53s. Computing the boundary of the generator 66 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 53s. Computing the boundary of the generator 67 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 53s. Computing the boundary of the generator 68 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 53s. Computing the boundary of the generator 69 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 53s. Computing the boundary of the generator 70 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 53s. Computing the boundary of the generator 71 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 53s. Computing the boundary of the generator 72 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 53s. Computing the boundary of the generator 73 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 53s. Computing the boundary of the generator 74 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 53s. Computing the boundary of the generator 75 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 53s. Computing the boundary of the generator 76 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 53s. Computing the boundary of the generator 77 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 53s. Computing the boundary of the generator 78 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 53s. Computing the boundary of the generator 79 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 53s. Computing the boundary of the generator 80 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 53s. Computing the boundary of the generator 81 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 53s. Computing the boundary of the generator 82 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 53s. Computing the boundary of the generator 83 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 53s. Computing the boundary of the generator 84 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 53s. Computing the boundary of the generator 85 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 53s. Computing the boundary of the generator 86 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 53s. Computing the boundary of the generator 87 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 53s. Computing the boundary of the generator 88 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 53s. Computing the boundary of the generator 89 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 53s. Computing the boundary of the generator 90 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 53s. Computing the boundary of the generator 91 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 53s. Computing the boundary of the generator 92 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 53s. Computing the boundary of the generator 93 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 53s. Computing the boundary of the generator 94 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 53s. Computing the boundary of the generator 95 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 53s. Computing the boundary of the generator 96 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 53s. Computing the boundary of the generator 97 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 53s. Computing the boundary of the generator 98 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 53s. Computing the boundary of the generator 99 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 53s. Computing the boundary of the generator 100 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 53s. Computing the boundary of the generator 101 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 53s. Computing the boundary of the generator 102 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 53s. Computing the boundary of the generator 103 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 53s. Computing the boundary of the generator 104 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 53s. Computing the boundary of the generator 105 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 53s. Computing the boundary of the generator 106 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 53s. Computing the boundary of the generator 107 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 53s. Computing the boundary of the generator 108 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 53s. Computing the boundary of the generator 109 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 53s. Computing the boundary of the generator 110 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 53s. Computing the boundary of the generator 111 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 53s. Computing the boundary of the generator 112 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 53s. Computing the boundary of the generator 113 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 54s. Computing the boundary of the generator 114 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 54s. Computing the boundary of the generator 115 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 54s. Computing the boundary of the generator 116 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 54s. Computing the boundary of the generator 117 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 54s. Computing the boundary of the generator 118 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 54s. Computing the boundary of the generator 119 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 54s. Computing the boundary of the generator 120 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 54s. Computing the boundary of the generator 121 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 54s. Computing the boundary of the generator 122 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 54s. Computing the boundary of the generator 123 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 54s. Computing the boundary of the generator 124 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 54s. Computing the boundary of the generator 125 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 54s. Computing the boundary of the generator 126 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 54s. Computing the boundary of the generator 127 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 54s. Computing the boundary of the generator 128 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 54s. Computing the boundary of the generator 129 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 54s. Computing the boundary of the generator 130 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 54s. Computing the boundary of the generator 131 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 54s. Computing the boundary of the generator 132 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 54s. Computing the boundary of the generator 133 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 54s. Computing the boundary of the generator 134 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 54s. Computing the boundary of the generator 135 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 54s. Computing the boundary of the generator 136 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 54s. Computing the boundary of the generator 137 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 54s. Computing the boundary of the generator 138 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 54s. Computing the boundary of the generator 139 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 54s. Computing the boundary of the generator 140 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 54s. Computing the boundary of the generator 141 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 54s. Computing the boundary of the generator 142 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 54s. Computing the boundary of the generator 143 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 54s. Computing the boundary of the generator 144 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 54s. Computing the boundary of the generator 145 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 54s. Computing the boundary of the generator 146 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 54s. Computing the boundary of the generator 147 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 54s. Computing the boundary of the generator 148 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 54s. Computing the boundary of the generator 149 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 54s. Computing the boundary of the generator 150 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 54s. Computing the boundary of the generator 151 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 54s. Computing the boundary of the generator 152 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 54s. Computing the boundary of the generator 153 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 54s. Computing the boundary of the generator 154 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 54s. Computing the boundary of the generator 155 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 54s. Computing the boundary of the generator 156 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 54s. Computing the boundary of the generator 157 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 54s. Computing the boundary of the generator 158 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 54s. Computing the boundary of the generator 159 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 54s. Computing the boundary of the generator 160 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 55s. Computing the boundary of the generator 161 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 55s. Computing the boundary of the generator 162 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 55s. Computing the boundary of the generator 163 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 55s. Computing the boundary of the generator 164 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 55s. Computing the boundary of the generator 165 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 55s. Computing the boundary of the generator 166 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 55s. Computing the boundary of the generator 167 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 55s. Computing the boundary of the generator 168 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 55s. Computing the boundary of the generator 169 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 55s. Computing the boundary of the generator 170 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 55s. Computing the boundary of the generator 171 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 55s. Computing the boundary of the generator 172 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 55s. Computing the boundary of the generator 173 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 55s. Computing the boundary of the generator 174 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 55s. Computing the boundary of the generator 175 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 55s. Computing the boundary of the generator 176 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 55s. Computing the boundary of the generator 177 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 55s. Computing the boundary of the generator 178 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 55s. Computing the boundary of the generator 179 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 55s. Computing the boundary of the generator 180 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 55s. Computing the boundary of the generator 181 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 55s. Computing the boundary of the generator 182 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 55s. Computing the boundary of the generator 183 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 55s. Computing the boundary of the generator 184 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 55s. Computing the boundary of the generator 185 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 55s. Computing the boundary of the generator 186 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 55s. Computing the boundary of the generator 187 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 55s. Computing the boundary of the generator 188 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 55s. Computing the boundary of the generator 189 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 55s. Computing the boundary of the generator 190 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 55s. Computing the boundary of the generator 191 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 55s. Computing the boundary of the generator 192 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 55s. Computing the boundary of the generator 193 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 55s. Computing the boundary of the generator 194 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 55s. Computing the boundary of the generator 195 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 55s. Computing the boundary of the generator 196 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 55s. Computing the boundary of the generator 197 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 55s. Computing the boundary of the generator 198 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 55s. Computing the boundary of the generator 199 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 55s. Computing the boundary of the generator 200 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 55s. Computing the boundary of the generator 201 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 55s. Computing the boundary of the generator 202 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 55s. Computing the boundary of the generator 203 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 55s. Computing the boundary of the generator 204 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 55s. Computing the boundary of the generator 205 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 55s. Computing the boundary of the generator 206 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 55s. Computing the boundary of the generator 207 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 55s. Computing the boundary of the generator 208 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 56s. Computing the boundary of the generator 209 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 56s. Computing the boundary of the generator 210 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 56s. Computing the boundary of the generator 211 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 56s. Computing the boundary of the generator 212 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 56s. Computing the boundary of the generator 213 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 56s. Computing the boundary of the generator 214 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 56s. Computing the boundary of the generator 215 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 56s. Computing the boundary of the generator 216 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 56s. Computing the boundary of the generator 217 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 56s. Computing the boundary of the generator 218 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 56s. Computing the boundary of the generator 219 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 56s. Computing the boundary of the generator 220 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 56s. Computing the boundary of the generator 221 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 56s. Computing the boundary of the generator 222 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 56s. Computing the boundary of the generator 223 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 56s. Computing the boundary of the generator 224 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 56s. Computing the boundary of the generator 225 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 56s. Computing the boundary of the generator 226 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 56s. Computing the boundary of the generator 227 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 56s. Computing the boundary of the generator 228 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 56s. Computing the boundary of the generator 229 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 56s. Computing the boundary of the generator 230 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 56s. Computing the boundary of the generator 231 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 56s. Computing the boundary of the generator 232 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 56s. Computing the boundary of the generator 233 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 56s. Computing the boundary of the generator 234 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 56s. Computing the boundary of the generator 235 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 56s. Computing the boundary of the generator 236 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 56s. Computing the boundary of the generator 237 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 56s. Computing the boundary of the generator 238 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 56s. Computing the boundary of the generator 239 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 56s. Computing the boundary of the generator 240 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 56s. Computing the boundary of the generator 241 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 56s. Computing the boundary of the generator 242 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 56s. Computing the boundary of the generator 243 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 56s. Computing the boundary of the generator 244 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 56s. Computing the boundary of the generator 245 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 56s. Computing the boundary of the generator 246 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 56s. Computing the boundary of the generator 247 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 56s. Computing the boundary of the generator 248 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 56s. Computing the boundary of the generator 249 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 56s. Computing the boundary of the generator 250 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 56s. Computing the boundary of the generator 251 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 56s. Computing the boundary of the generator 252 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 56s. Computing the boundary of the generator 253 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 56s. Computing the boundary of the generator 254 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 56s. Computing the boundary of the generator 255 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 57s. Computing the boundary of the generator 256 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 57s. Computing the boundary of the generator 257 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 57s. Computing the boundary of the generator 258 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 57s. Computing the boundary of the generator 259 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 57s. Computing the boundary of the generator 260 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 57s. Computing the boundary of the generator 261 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 57s. Computing the boundary of the generator 262 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 57s. Computing the boundary of the generator 263 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 57s. Computing the boundary of the generator 264 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 57s. Computing the boundary of the generator 265 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 57s. Computing the boundary of the generator 266 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 57s. Computing the boundary of the generator 267 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 57s. Computing the boundary of the generator 268 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 57s. Computing the boundary of the generator 269 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 57s. Computing the boundary of the generator 270 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 57s. Computing the boundary of the generator 271 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 57s. Computing the boundary of the generator 272 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 57s. Computing the boundary of the generator 273 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 57s. Computing the boundary of the generator 274 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 57s. Computing the boundary of the generator 275 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 57s. Computing the boundary of the generator 276 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 57s. Computing the boundary of the generator 277 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 57s. Computing the boundary of the generator 278 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 57s. Computing the boundary of the generator 279 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 57s. Computing the boundary of the generator 280 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 57s. Computing the boundary of the generator 281 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 57s. Computing the boundary of the generator 282 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 57s. Computing the boundary of the generator 283 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 57s. Computing the boundary of the generator 284 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 57s. Computing the boundary of the generator 285 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 57s. Computing the boundary of the generator 286 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 57s. Computing the boundary of the generator 287 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 57s. Computing the boundary of the generator 288 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 57s. Computing the boundary of the generator 289 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 57s. Computing the boundary of the generator 290 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 57s. Computing the boundary of the generator 291 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 57s. Computing the boundary of the generator 292 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 57s. Computing the boundary of the generator 293 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 57s. Computing the boundary of the generator 294 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 57s. Computing the boundary of the generator 295 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 57s. Computing the boundary of the generator 296 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 57s. Computing the boundary of the generator 297 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 57s. Computing the boundary of the generator 298 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 57s. Computing the boundary of the generator 299 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 57s. Computing the boundary of the generator 300 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 57s. Computing the boundary of the generator 301 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 57s. Computing the boundary of the generator 302 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 57s. Computing the boundary of the generator 303 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 58s. Computing the boundary of the generator 304 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 58s. Computing the boundary of the generator 305 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 58s. Computing the boundary of the generator 306 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 58s. Computing the boundary of the generator 307 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 58s. Computing the boundary of the generator 308 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 58s. Computing the boundary of the generator 309 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 58s. Computing the boundary of the generator 310 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 58s. Computing the boundary of the generator 311 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 58s. Computing the boundary of the generator 312 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 58s. Computing the boundary of the generator 313 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 58s. Computing the boundary of the generator 314 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 58s. Computing the boundary of the generator 315 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 58s. Computing the boundary of the generator 316 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 58s. Computing the boundary of the generator 317 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 58s. Computing the boundary of the generator 318 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 58s. Computing the boundary of the generator 319 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 58s. Computing the boundary of the generator 320 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 58s. Computing the boundary of the generator 321 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 58s. Computing the boundary of the generator 322 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 58s. Computing the boundary of the generator 323 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 58s. Computing the boundary of the generator 324 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 58s. Computing the boundary of the generator 325 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 58s. Computing the boundary of the generator 326 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 58s. Computing the boundary of the generator 327 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 58s. Computing the boundary of the generator 328 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 58s. Computing the boundary of the generator 329 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 58s. Computing the boundary of the generator 330 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 58s. Computing the boundary of the generator 331 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 58s. Computing the boundary of the generator 332 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 58s. Computing the boundary of the generator 333 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 58s. Computing the boundary of the generator 334 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 58s. Computing the boundary of the generator 335 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 58s. Computing the boundary of the generator 336 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 58s. Computing the boundary of the generator 337 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 58s. Computing the boundary of the generator 338 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 58s. Computing the boundary of the generator 339 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 58s. Computing the boundary of the generator 340 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 58s. Computing the boundary of the generator 341 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 58s. Computing the boundary of the generator 342 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 58s. Computing the boundary of the generator 343 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 58s. Computing the boundary of the generator 344 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 58s. Computing the boundary of the generator 345 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 58s. Computing the boundary of the generator 346 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 58s. Computing the boundary of the generator 347 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 58s. Computing the boundary of the generator 348 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 58s. Computing the boundary of the generator 349 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 58s. Computing the boundary of the generator 350 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 59s. Computing the boundary of the generator 351 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 59s. Computing the boundary of the generator 352 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 59s. Computing the boundary of the generator 353 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 59s. Computing the boundary of the generator 354 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 59s. Computing the boundary of the generator 355 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 59s. Computing the boundary of the generator 356 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 59s. Computing the boundary of the generator 357 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 59s. Computing the boundary of the generator 358 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 59s. Computing the boundary of the generator 359 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 59s. Computing the boundary of the generator 360 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 59s. Computing the boundary of the generator 361 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 59s. Computing the boundary of the generator 362 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 59s. Computing the boundary of the generator 363 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 59s. Computing the boundary of the generator 364 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 59s. Computing the boundary of the generator 365 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 59s. Computing the boundary of the generator 366 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 59s. Computing the boundary of the generator 367 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 59s. Computing the boundary of the generator 368 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 59s. Computing the boundary of the generator 369 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 59s. Computing the boundary of the generator 370 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 59s. Computing the boundary of the generator 371 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 59s. Computing the boundary of the generator 372 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 59s. Computing the boundary of the generator 373 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 59s. Computing the boundary of the generator 374 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 59s. Computing the boundary of the generator 375 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 59s. Computing the boundary of the generator 376 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 59s. Computing the boundary of the generator 377 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 59s. Computing the boundary of the generator 378 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 59s. Computing the boundary of the generator 379 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 59s. Computing the boundary of the generator 380 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 59s. Computing the boundary of the generator 381 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 59s. Computing the boundary of the generator 382 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 59s. Computing the boundary of the generator 383 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 59s. Computing the boundary of the generator 384 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 59s. Computing the boundary of the generator 385 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 59s. Computing the boundary of the generator 386 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 59s. Computing the boundary of the generator 387 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 59s. Computing the boundary of the generator 388 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 59s. Computing the boundary of the generator 389 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 59s. Computing the boundary of the generator 390 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 59s. Computing the boundary of the generator 391 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 59s. Computing the boundary of the generator 392 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 59s. Computing the boundary of the generator 393 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 59s. Computing the boundary of the generator 394 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 59s. Computing the boundary of the generator 395 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 59s. Computing the boundary of the generator 396 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 48m 59s. Computing the boundary of the generator 397 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 0s. Computing the boundary of the generator 398 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 0s. Computing the boundary of the generator 399 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 0s. Computing the boundary of the generator 400 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 0s. Computing the boundary of the generator 401 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 0s. Computing the boundary of the generator 402 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 0s. Computing the boundary of the generator 403 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 0s. Computing the boundary of the generator 404 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 0s. Computing the boundary of the generator 405 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 0s. Computing the boundary of the generator 406 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 0s. Computing the boundary of the generator 407 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 0s. Computing the boundary of the generator 408 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 0s. Computing the boundary of the generator 409 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 0s. Computing the boundary of the generator 410 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 0s. Computing the boundary of the generator 411 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 0s. Computing the boundary of the generator 412 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 0s. Computing the boundary of the generator 413 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 0s. Computing the boundary of the generator 414 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 0s. Computing the boundary of the generator 415 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 0s. Computing the boundary of the generator 416 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 0s. Computing the boundary of the generator 417 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 0s. Computing the boundary of the generator 418 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 0s. Computing the boundary of the generator 419 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 0s. Computing the boundary of the generator 420 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 0s. Computing the boundary of the generator 421 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 0s. Computing the boundary of the generator 422 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 0s. Computing the boundary of the generator 423 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 0s. Computing the boundary of the generator 424 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 0s. Computing the boundary of the generator 425 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 0s. Computing the boundary of the generator 426 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 0s. Computing the boundary of the generator 427 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 0s. Computing the boundary of the generator 428 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 0s. Computing the boundary of the generator 429 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 0s. Computing the boundary of the generator 430 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 0s. Computing the boundary of the generator 431 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 0s. Computing the boundary of the generator 432 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 0s. Computing the boundary of the generator 433 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 0s. Computing the boundary of the generator 434 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 0s. Computing the boundary of the generator 435 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 0s. Computing the boundary of the generator 436 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 0s. Computing the boundary of the generator 437 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 0s. Computing the boundary of the generator 438 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 0s. Computing the boundary of the generator 439 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 0s. Computing the boundary of the generator 440 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 0s. Computing the boundary of the generator 441 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 0s. Computing the boundary of the generator 442 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 0s. Computing the boundary of the generator 443 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 0s. Computing the boundary of the generator 444 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 0s. Computing the boundary of the generator 445 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 1s. Computing the boundary of the generator 446 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 1s. Computing the boundary of the generator 447 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 1s. Computing the boundary of the generator 448 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 1s. Computing the boundary of the generator 449 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 1s. Computing the boundary of the generator 450 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 1s. Computing the boundary of the generator 451 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 1s. Computing the boundary of the generator 452 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 1s. Computing the boundary of the generator 453 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 1s. Computing the boundary of the generator 454 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 1s. Computing the boundary of the generator 455 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 1s. Computing the boundary of the generator 456 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 1s. Computing the boundary of the generator 457 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 1s. Computing the boundary of the generator 458 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 1s. Computing the boundary of the generator 459 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 1s. Computing the boundary of the generator 460 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 1s. Computing the boundary of the generator 461 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 1s. Computing the boundary of the generator 462 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 1s. Computing the boundary of the generator 463 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 1s. Computing the boundary of the generator 464 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 1s. Computing the boundary of the generator 465 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 1s. Computing the boundary of the generator 466 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 1s. Computing the boundary of the generator 467 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 1s. Computing the boundary of the generator 468 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 1s. Computing the boundary of the generator 469 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 1s. Computing the boundary of the generator 470 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 1s. Computing the boundary of the generator 471 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 1s. Computing the boundary of the generator 472 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 1s. Computing the boundary of the generator 473 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 1s. Computing the boundary of the generator 474 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 1s. Computing the boundary of the generator 475 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 1s. Computing the boundary of the generator 476 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 1s. Computing the boundary of the generator 477 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 1s. Computing the boundary of the generator 478 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 1s. Computing the boundary of the generator 479 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 1s. Computing the boundary of the generator 480 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 1s. Computing the boundary of the generator 481 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 1s. Computing the boundary of the generator 482 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 1s. Computing the boundary of the generator 483 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 1s. Computing the boundary of the generator 484 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 1s. Computing the boundary of the generator 485 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 1s. Computing the boundary of the generator 486 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 1s. Computing the boundary of the generator 487 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 1s. Computing the boundary of the generator 488 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 1s. Computing the boundary of the generator 489 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 1s. Computing the boundary of the generator 490 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 1s. Computing the boundary of the generator 491 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 2s. Computing the boundary of the generator 492 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 2s. Computing the boundary of the generator 493 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 2s. Computing the boundary of the generator 494 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 2s. Computing the boundary of the generator 495 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 2s. Computing the boundary of the generator 496 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 2s. Computing the boundary of the generator 497 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 2s. Computing the boundary of the generator 498 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 2s. Computing the boundary of the generator 499 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 2s. Computing the boundary of the generator 500 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 2s. Computing the boundary of the generator 501 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 2s. Computing the boundary of the generator 502 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 2s. Computing the boundary of the generator 503 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 2s. Computing the boundary of the generator 504 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 2s. Computing the boundary of the generator 505 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 2s. Computing the boundary of the generator 506 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 2s. Computing the boundary of the generator 507 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 2s. Computing the boundary of the generator 508 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 2s. Computing the boundary of the generator 509 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 2s. Computing the boundary of the generator 510 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 2s. Computing the boundary of the generator 511 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 2s. Computing the boundary of the generator 512 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 2s. Computing the boundary of the generator 513 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 2s. Computing the boundary of the generator 514 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 2s. Computing the boundary of the generator 515 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 2s. Computing the boundary of the generator 516 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 2s. Computing the boundary of the generator 517 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 2s. Computing the boundary of the generator 518 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 2s. Computing the boundary of the generator 519 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 2s. Computing the boundary of the generator 520 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 2s. Computing the boundary of the generator 521 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 2s. Computing the boundary of the generator 522 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 2s. Computing the boundary of the generator 523 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 2s. Computing the boundary of the generator 524 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 2s. Computing the boundary of the generator 525 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 2s. Computing the boundary of the generator 526 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 2s. Computing the boundary of the generator 527 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 2s. Computing the boundary of the generator 528 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 2s. Computing the boundary of the generator 529 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 2s. Computing the boundary of the generator 530 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 2s. Computing the boundary of the generator 531 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 2s. Computing the boundary of the generator 532 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 2s. Computing the boundary of the generator 533 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 2s. Computing the boundary of the generator 534 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 2s. Computing the boundary of the generator 535 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 2s. Computing the boundary of the generator 536 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 2s. Computing the boundary of the generator 537 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 2s. Computing the boundary of the generator 538 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 3s. Computing the boundary of the generator 539 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 3s. Computing the boundary of the generator 540 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 3s. Computing the boundary of the generator 541 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 3s. Computing the boundary of the generator 542 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 3s. Computing the boundary of the generator 543 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 3s. Computing the boundary of the generator 544 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 3s. Computing the boundary of the generator 545 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 3s. Computing the boundary of the generator 546 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 3s. Computing the boundary of the generator 547 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 3s. Computing the boundary of the generator 548 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 3s. Computing the boundary of the generator 549 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 3s. Computing the boundary of the generator 550 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 3s. Computing the boundary of the generator 551 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 3s. Computing the boundary of the generator 552 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 3s. Computing the boundary of the generator 553 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 3s. Computing the boundary of the generator 554 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 3s. Computing the boundary of the generator 555 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 3s. Computing the boundary of the generator 556 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 3s. Computing the boundary of the generator 557 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 3s. Computing the boundary of the generator 558 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 3s. Computing the boundary of the generator 559 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 3s. Computing the boundary of the generator 560 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 3s. Computing the boundary of the generator 561 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 3s. Computing the boundary of the generator 562 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 3s. Computing the boundary of the generator 563 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 3s. Computing the boundary of the generator 564 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 3s. Computing the boundary of the generator 565 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 3s. Computing the boundary of the generator 566 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 3s. Computing the boundary of the generator 567 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 3s. Computing the boundary of the generator 568 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 3s. Computing the boundary of the generator 569 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 3s. Computing the boundary of the generator 570 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 3s. Computing the boundary of the generator 571 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 3s. Computing the boundary of the generator 572 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 3s. Computing the boundary of the generator 573 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 3s. Computing the boundary of the generator 574 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 3s. Computing the boundary of the generator 575 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 3s. Computing the boundary of the generator 576 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 3s. Computing the boundary of the generator 577 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 3s. Computing the boundary of the generator 578 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 3s. Computing the boundary of the generator 579 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 3s. Computing the boundary of the generator 580 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 3s. Computing the boundary of the generator 581 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 3s. Computing the boundary of the generator 582 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 3s. Computing the boundary of the generator 583 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 3s. Computing the boundary of the generator 584 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 3s. Computing the boundary of the generator 585 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 4s. Computing the boundary of the generator 586 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 4s. Computing the boundary of the generator 587 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 4s. Computing the boundary of the generator 588 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 4s. Computing the boundary of the generator 589 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 4s. Computing the boundary of the generator 590 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 4s. Computing the boundary of the generator 591 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 4s. Computing the boundary of the generator 592 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 4s. Computing the boundary of the generator 593 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 4s. Computing the boundary of the generator 594 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 4s. Computing the boundary of the generator 595 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 4s. Computing the boundary of the generator 596 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 4s. Computing the boundary of the generator 597 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 4s. Computing the boundary of the generator 598 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 4s. Computing the boundary of the generator 599 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 4s. Computing the boundary of the generator 600 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 4s. Computing the boundary of the generator 601 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 4s. Computing the boundary of the generator 602 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 4s. Computing the boundary of the generator 603 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 4s. Computing the boundary of the generator 604 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 4s. Computing the boundary of the generator 605 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 4s. Computing the boundary of the generator 606 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 4s. Computing the boundary of the generator 607 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 4s. Computing the boundary of the generator 608 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 4s. Computing the boundary of the generator 609 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 4s. Computing the boundary of the generator 610 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 4s. Computing the boundary of the generator 611 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 4s. Computing the boundary of the generator 612 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 4s. Computing the boundary of the generator 613 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 4s. Computing the boundary of the generator 614 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 4s. Computing the boundary of the generator 615 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 4s. Computing the boundary of the generator 616 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 4s. Computing the boundary of the generator 617 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 4s. Computing the boundary of the generator 618 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 4s. Computing the boundary of the generator 619 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 4s. Computing the boundary of the generator 620 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 4s. Computing the boundary of the generator 621 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 4s. Computing the boundary of the generator 622 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 4s. Computing the boundary of the generator 623 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 4s. Computing the boundary of the generator 624 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 4s. Computing the boundary of the generator 625 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 4s. Computing the boundary of the generator 626 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 4s. Computing the boundary of the generator 627 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 4s. Computing the boundary of the generator 628 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 4s. Computing the boundary of the generator 629 (dimension 9) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 4s. Computing the boundary of the generator 630 (dimension 9) : End of computing. Computing boundary-matrix in dimension 10. Rank of the source-module : 252. ;; Clock -> 2006-08-25, 17h 49m 5s. Computing the boundary of the generator 1 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 5s. Computing the boundary of the generator 2 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 5s. Computing the boundary of the generator 3 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 5s. Computing the boundary of the generator 4 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 5s. Computing the boundary of the generator 5 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 5s. Computing the boundary of the generator 6 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 5s. Computing the boundary of the generator 7 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 5s. Computing the boundary of the generator 8 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 5s. Computing the boundary of the generator 9 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 5s. Computing the boundary of the generator 10 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 5s. Computing the boundary of the generator 11 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 5s. Computing the boundary of the generator 12 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 5s. Computing the boundary of the generator 13 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 5s. Computing the boundary of the generator 14 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 5s. Computing the boundary of the generator 15 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 5s. Computing the boundary of the generator 16 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 5s. Computing the boundary of the generator 17 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 5s. Computing the boundary of the generator 18 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 5s. Computing the boundary of the generator 19 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 5s. Computing the boundary of the generator 20 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 5s. Computing the boundary of the generator 21 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 5s. Computing the boundary of the generator 22 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 5s. Computing the boundary of the generator 23 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 5s. Computing the boundary of the generator 24 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 5s. Computing the boundary of the generator 25 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 5s. Computing the boundary of the generator 26 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 5s. Computing the boundary of the generator 27 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 5s. Computing the boundary of the generator 28 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 5s. Computing the boundary of the generator 29 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 5s. Computing the boundary of the generator 30 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 5s. Computing the boundary of the generator 31 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 5s. Computing the boundary of the generator 32 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 5s. Computing the boundary of the generator 33 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 5s. Computing the boundary of the generator 34 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 5s. Computing the boundary of the generator 35 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 5s. Computing the boundary of the generator 36 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 5s. Computing the boundary of the generator 37 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 5s. Computing the boundary of the generator 38 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 5s. Computing the boundary of the generator 39 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 5s. Computing the boundary of the generator 40 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 5s. Computing the boundary of the generator 41 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 5s. Computing the boundary of the generator 42 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 5s. Computing the boundary of the generator 43 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 5s. Computing the boundary of the generator 44 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 5s. Computing the boundary of the generator 45 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 5s. Computing the boundary of the generator 46 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 6s. Computing the boundary of the generator 47 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 6s. Computing the boundary of the generator 48 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 6s. Computing the boundary of the generator 49 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 6s. Computing the boundary of the generator 50 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 6s. Computing the boundary of the generator 51 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 6s. Computing the boundary of the generator 52 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 6s. Computing the boundary of the generator 53 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 6s. Computing the boundary of the generator 54 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 6s. Computing the boundary of the generator 55 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 6s. Computing the boundary of the generator 56 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 6s. Computing the boundary of the generator 57 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 6s. Computing the boundary of the generator 58 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 6s. Computing the boundary of the generator 59 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 6s. Computing the boundary of the generator 60 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 6s. Computing the boundary of the generator 61 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 6s. Computing the boundary of the generator 62 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 6s. Computing the boundary of the generator 63 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 6s. Computing the boundary of the generator 64 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 6s. Computing the boundary of the generator 65 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 6s. Computing the boundary of the generator 66 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 6s. Computing the boundary of the generator 67 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 6s. Computing the boundary of the generator 68 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 6s. Computing the boundary of the generator 69 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 6s. Computing the boundary of the generator 70 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 6s. Computing the boundary of the generator 71 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 6s. Computing the boundary of the generator 72 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 6s. Computing the boundary of the generator 73 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 6s. Computing the boundary of the generator 74 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 6s. Computing the boundary of the generator 75 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 6s. Computing the boundary of the generator 76 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 6s. Computing the boundary of the generator 77 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 6s. Computing the boundary of the generator 78 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 6s. Computing the boundary of the generator 79 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 6s. Computing the boundary of the generator 80 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 6s. Computing the boundary of the generator 81 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 6s. Computing the boundary of the generator 82 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 6s. Computing the boundary of the generator 83 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 6s. Computing the boundary of the generator 84 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 6s. Computing the boundary of the generator 85 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 6s. Computing the boundary of the generator 86 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 6s. Computing the boundary of the generator 87 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 6s. Computing the boundary of the generator 88 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 6s. Computing the boundary of the generator 89 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 6s. Computing the boundary of the generator 90 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 6s. Computing the boundary of the generator 91 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 6s. Computing the boundary of the generator 92 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 7s. Computing the boundary of the generator 93 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 7s. Computing the boundary of the generator 94 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 7s. Computing the boundary of the generator 95 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 7s. Computing the boundary of the generator 96 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 7s. Computing the boundary of the generator 97 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 7s. Computing the boundary of the generator 98 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 7s. Computing the boundary of the generator 99 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 7s. Computing the boundary of the generator 100 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 7s. Computing the boundary of the generator 101 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 7s. Computing the boundary of the generator 102 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 7s. Computing the boundary of the generator 103 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 7s. Computing the boundary of the generator 104 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 7s. Computing the boundary of the generator 105 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 7s. Computing the boundary of the generator 106 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 7s. Computing the boundary of the generator 107 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 7s. Computing the boundary of the generator 108 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 7s. Computing the boundary of the generator 109 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 7s. Computing the boundary of the generator 110 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 7s. Computing the boundary of the generator 111 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 7s. Computing the boundary of the generator 112 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 7s. Computing the boundary of the generator 113 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 7s. Computing the boundary of the generator 114 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 7s. Computing the boundary of the generator 115 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 7s. Computing the boundary of the generator 116 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 7s. Computing the boundary of the generator 117 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 7s. Computing the boundary of the generator 118 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 7s. Computing the boundary of the generator 119 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 7s. Computing the boundary of the generator 120 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 7s. Computing the boundary of the generator 121 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 7s. Computing the boundary of the generator 122 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 7s. Computing the boundary of the generator 123 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 7s. Computing the boundary of the generator 124 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 7s. Computing the boundary of the generator 125 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 7s. Computing the boundary of the generator 126 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 7s. Computing the boundary of the generator 127 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 7s. Computing the boundary of the generator 128 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 7s. Computing the boundary of the generator 129 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 7s. Computing the boundary of the generator 130 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 7s. Computing the boundary of the generator 131 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 7s. Computing the boundary of the generator 132 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 7s. Computing the boundary of the generator 133 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 7s. Computing the boundary of the generator 134 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 7s. Computing the boundary of the generator 135 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 7s. Computing the boundary of the generator 136 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 7s. Computing the boundary of the generator 137 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 7s. Computing the boundary of the generator 138 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 7s. Computing the boundary of the generator 139 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 8s. Computing the boundary of the generator 140 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 8s. Computing the boundary of the generator 141 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 8s. Computing the boundary of the generator 142 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 8s. Computing the boundary of the generator 143 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 8s. Computing the boundary of the generator 144 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 8s. Computing the boundary of the generator 145 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 8s. Computing the boundary of the generator 146 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 8s. Computing the boundary of the generator 147 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 8s. Computing the boundary of the generator 148 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 8s. Computing the boundary of the generator 149 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 8s. Computing the boundary of the generator 150 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 8s. Computing the boundary of the generator 151 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 8s. Computing the boundary of the generator 152 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 8s. Computing the boundary of the generator 153 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 8s. Computing the boundary of the generator 154 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 8s. Computing the boundary of the generator 155 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 8s. Computing the boundary of the generator 156 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 8s. Computing the boundary of the generator 157 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 8s. Computing the boundary of the generator 158 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 8s. Computing the boundary of the generator 159 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 8s. Computing the boundary of the generator 160 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 8s. Computing the boundary of the generator 161 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 8s. Computing the boundary of the generator 162 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 8s. Computing the boundary of the generator 163 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 8s. Computing the boundary of the generator 164 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 8s. Computing the boundary of the generator 165 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 8s. Computing the boundary of the generator 166 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 8s. Computing the boundary of the generator 167 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 8s. Computing the boundary of the generator 168 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 8s. Computing the boundary of the generator 169 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 8s. Computing the boundary of the generator 170 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 8s. Computing the boundary of the generator 171 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 8s. Computing the boundary of the generator 172 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 8s. Computing the boundary of the generator 173 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 8s. Computing the boundary of the generator 174 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 8s. Computing the boundary of the generator 175 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 8s. Computing the boundary of the generator 176 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 8s. Computing the boundary of the generator 177 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 8s. Computing the boundary of the generator 178 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 8s. Computing the boundary of the generator 179 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 8s. Computing the boundary of the generator 180 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 8s. Computing the boundary of the generator 181 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 8s. Computing the boundary of the generator 182 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 8s. Computing the boundary of the generator 183 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 8s. Computing the boundary of the generator 184 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 8s. Computing the boundary of the generator 185 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 9s. Computing the boundary of the generator 186 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 9s. Computing the boundary of the generator 187 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 9s. Computing the boundary of the generator 188 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 9s. Computing the boundary of the generator 189 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 9s. Computing the boundary of the generator 190 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 9s. Computing the boundary of the generator 191 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 9s. Computing the boundary of the generator 192 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 9s. Computing the boundary of the generator 193 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 9s. Computing the boundary of the generator 194 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 9s. Computing the boundary of the generator 195 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 9s. Computing the boundary of the generator 196 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 9s. Computing the boundary of the generator 197 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 9s. Computing the boundary of the generator 198 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 9s. Computing the boundary of the generator 199 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 9s. Computing the boundary of the generator 200 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 9s. Computing the boundary of the generator 201 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 9s. Computing the boundary of the generator 202 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 9s. Computing the boundary of the generator 203 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 9s. Computing the boundary of the generator 204 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 9s. Computing the boundary of the generator 205 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 9s. Computing the boundary of the generator 206 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 9s. Computing the boundary of the generator 207 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 9s. Computing the boundary of the generator 208 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 9s. Computing the boundary of the generator 209 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 9s. Computing the boundary of the generator 210 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 9s. Computing the boundary of the generator 211 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 9s. Computing the boundary of the generator 212 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 9s. Computing the boundary of the generator 213 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 9s. Computing the boundary of the generator 214 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 9s. Computing the boundary of the generator 215 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 9s. Computing the boundary of the generator 216 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 9s. Computing the boundary of the generator 217 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 9s. Computing the boundary of the generator 218 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 9s. Computing the boundary of the generator 219 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 9s. Computing the boundary of the generator 220 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 9s. Computing the boundary of the generator 221 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 9s. Computing the boundary of the generator 222 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 9s. Computing the boundary of the generator 223 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 9s. Computing the boundary of the generator 224 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 9s. Computing the boundary of the generator 225 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 9s. Computing the boundary of the generator 226 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 9s. Computing the boundary of the generator 227 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 9s. Computing the boundary of the generator 228 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 9s. Computing the boundary of the generator 229 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 9s. Computing the boundary of the generator 230 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 9s. Computing the boundary of the generator 231 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 9s. Computing the boundary of the generator 232 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 10s. Computing the boundary of the generator 233 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 10s. Computing the boundary of the generator 234 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 10s. Computing the boundary of the generator 235 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 10s. Computing the boundary of the generator 236 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 10s. Computing the boundary of the generator 237 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 10s. Computing the boundary of the generator 238 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 10s. Computing the boundary of the generator 239 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 10s. Computing the boundary of the generator 240 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 10s. Computing the boundary of the generator 241 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 10s. Computing the boundary of the generator 242 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 10s. Computing the boundary of the generator 243 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 10s. Computing the boundary of the generator 244 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 10s. Computing the boundary of the generator 245 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 10s. Computing the boundary of the generator 246 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 10s. Computing the boundary of the generator 247 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 10s. Computing the boundary of the generator 248 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 10s. Computing the boundary of the generator 249 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 10s. Computing the boundary of the generator 250 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 10s. Computing the boundary of the generator 251 (dimension 10) : End of computing. ;; Clock -> 2006-08-25, 17h 49m 10s. Computing the boundary of the generator 252 (dimension 10) : End of computing. Homology in dimension 9 : ---done--- ;; Clock -> 2006-08-25, 17h 49m 10s. -------------------------------------------------- > -------------------------------------------------- ;; This was possible because S5SQ is EFFECTIVE. ;; ;; Same experience with a loop space. -------------------------------------------------- > -------------------------------------------------- (SETF OS3 (LOOP-SPACE (SPHERE 3))) -------------------------------------------------- > -------------------------------------------------- [K37 Simplicial-Group] -------------------------------------------------- > -------------------------------------------------- ;; H_10 (Omega S^3) -------------------------------------------------- > -------------------------------------------------- (HOMOLOGY OS3 10) -------------------------------------------------- > -------------------------------------------------- Computing boundary-matrix in dimension 10. Rank of the source-module : 1. ;; Clock -> 2006-08-25, 17h 49m 33s. Computing the boundary of the generator 1 (dimension 10) : <> End of computing. Computing boundary-matrix in dimension 11. Rank of the source-module : 0. Homology in dimension 10 : Component Z ---done--- ;; Clock -> 2006-08-25, 17h 49m 33s. NIL -------------------------------------------------- > -------------------------------------------------- ;; Hiding the effective-homology ;; AND the definition. -------------------------------------------------- > -------------------------------------------------- (PROGN (SLOT-MAKUNBOUND OS3 'EFHM) (SETF (SLOT-VALUE OS3 'DFNT) '(HIDDEN-DFNT)) (DONE)) -------------------------------------------------- > -------------------------------------------------- ---done--- -------------------------------------------------- > -------------------------------------------------- ;; Trying to compute the homology. -------------------------------------------------- > -------------------------------------------------- (HOMOLOGY OS3 10) -------------------------------------------------- > ---------- Error --------------------------------- Type-error: SIMPLE-ERROR I don't know how to determine the effective homology of: [K37 Simplicial-Group] (Origin: (HIDDEN-DFNT)). -------------------------------------------------- > -------------------------------------------------- ;; Why it is necessary to keep ;; ;; the inital topological object ?? ;; ;; OS4 = loop-space of S^4 ;; ;; W = wedge(S^3, S^6, S^9) -------------------------------------------------- > -------------------------------------------------- (SETF OS4 (LOOP-SPACE (SPHERE 4))) -------------------------------------------------- > -------------------------------------------------- [K142 Simplicial-Group] -------------------------------------------------- > -------------------------------------------------- (SETF W (SPHERE-WEDGE 3 6 9)) -------------------------------------------------- > -------------------------------------------------- [K148 Simplicial-Set] -------------------------------------------------- > -------------------------------------------------- ;; Respective effective homologies. -------------------------------------------------- > -------------------------------------------------- (EFHM OS4) -------------------------------------------------- > -------------------------------------------------- [K246 Equivalence K142 <= K236 => K156] -------------------------------------------------- > -------------------------------------------------- (EFHM W) -------------------------------------------------- > -------------------------------------------------- [K250 Equivalence K148 <= K148 => K148] -------------------------------------------------- > -------------------------------------------------- ;; Comparison of basis of effective complexes.: ;; ;; K156 <-> K148 -------------------------------------------------- > -------------------------------------------------- (DOTIMES (I 11) (PRINT (LIST (LENGTH (BASIS (K 156) I)) (LENGTH (BASIS (K 148) I)))))) -------------------------------------------------- > -------------------------------------------------- (1 1) (0 0) (0 0) (1 1) (0 0) (0 0) (1 1) (0 0) (0 0) (1 1) (0 0) NIL -------------------------------------------------- > -------------------------------------------------- ;; These chain complexes are ISOMORPHIC. -------------------------------------------------- > -------------------------------------------------- ;; Constructing loop spaces. -------------------------------------------------- > -------------------------------------------------- (SETF OOS4 (LOOP-SPACE OS4)) -------------------------------------------------- > -------------------------------------------------- [K251 Simplicial-Group] -------------------------------------------------- > -------------------------------------------------- (SETF OW (LOOP-SPACE W)) -------------------------------------------------- > -------------------------------------------------- [K257 Simplicial-Group] -------------------------------------------------- > -------------------------------------------------- ;; Effective homologies. -------------------------------------------------- > -------------------------------------------------- (EFHM OOS4) -------------------------------------------------- > -------------------------------------------------- [K389 Equivalence K251 <= K379 => K375] -------------------------------------------------- > -------------------------------------------------- (EFHM OW) -------------------------------------------------- > -------------------------------------------------- [K482 Equivalence K257 <= K472 => K396] -------------------------------------------------- > -------------------------------------------------- ;; Comparison of effective chain-complexes. -------------------------------------------------- > -------------------------------------------------- (DOTIMES (I 11) (PRINT (LIST (LENGTH (BASIS (K 375) I)) (LENGTH (BASIS (K 396) I)))))) -------------------------------------------------- > -------------------------------------------------- (1 1) (0 0) (1 1) (0 0) (1 1) (1 1) (1 1) (2 2) (2 2) (3 3) (4 4) NIL -------------------------------------------------- > -------------------------------------------------- ;; Look similar. But: ;; ;; H_7(Omega^2 S^4) = -------------------------------------------------- > -------------------------------------------------- (HOMOLOGY OOS4 7) -------------------------------------------------- > -------------------------------------------------- Computing boundary-matrix in dimension 7. Rank of the source-module : 2. ;; Clock -> 2006-08-25, 17h 51m 28s. Computing the boundary of the generator 1 (dimension 7) : <>][5 <>]>> End of computing. ;; Clock -> 2006-08-25, 17h 51m 28s. Computing the boundary of the generator 2 (dimension 7) : <>][2 <>]>> End of computing. Computing boundary-matrix in dimension 8. Rank of the source-module : 2. ;; Clock -> 2006-08-25, 17h 51m 28s. Computing the boundary of the generator 1 (dimension 8) : <>]>> End of computing. ;; Clock -> 2006-08-25, 17h 51m 33s. Computing the boundary of the generator 2 (dimension 8) : <>][2 <>][2 <>][2 <>]>> End of computing. Homology in dimension 7 : Component Z ---done--- ;; Clock -> 2006-08-25, 17h 51m 33s. NIL -------------------------------------------------- > -------------------------------------------------- ;; To be compare with H_7(Omega W). -------------------------------------------------- > -------------------------------------------------- (HOMOLOGY OW 7) -------------------------------------------------- > -------------------------------------------------- Computing boundary-matrix in dimension 7. Rank of the source-module : 2. ;; Clock -> 2006-08-25, 17h 51m 39s. Computing the boundary of the generator 1 (dimension 7) : <> End of computing. ;; Clock -> 2006-08-25, 17h 51m 39s. Computing the boundary of the generator 2 (dimension 7) : <> End of computing. Computing boundary-matrix in dimension 8. Rank of the source-module : 2. ;; Clock -> 2006-08-25, 17h 51m 39s. Computing the boundary of the generator 1 (dimension 8) : <> End of computing. ;; Clock -> 2006-08-25, 17h 51m 39s. Computing the boundary of the generator 2 (dimension 8) : <> End of computing. Homology in dimension 7 : Component Z Component Z ---done--- ;; Clock -> 2006-08-25, 17h 51m 39s. NIL -------------------------------------------------- > -------------------------------------------------- ;; Comparison of the differentials. -------------------------------------------------- > -------------------------------------------------- (CHCM-MAT (K 375) 8) -------------------------------------------------- > -------------------------------------------------- Computing boundary-matrix in dimension 8. Rank of the source-module : 2. ;; Clock -> 2006-08-25, 17h 51m 46s. Computing the boundary of the generator 1 (dimension 8) : <>]>> End of computing. ;; Clock -> 2006-08-25, 17h 51m 46s. Computing the boundary of the generator 2 (dimension 8) : <>][2 <>][2 <>][2 <>]>> End of computing. ========== MATRIX 2 lines + 2 columns ===== L1=[C1=1] L2=[C1=1] ========== END-MATRIX -------------------------------------------------- > -------------------------------------------------- (CHCM-MAT (K 396) 8) -------------------------------------------------- > -------------------------------------------------- Computing boundary-matrix in dimension 8. Rank of the source-module : 2. ;; Clock -> 2006-08-25, 17h 51m 49s. Computing the boundary of the generator 1 (dimension 8) : <> End of computing. ;; Clock -> 2006-08-25, 17h 51m 49s. Computing the boundary of the generator 2 (dimension 8) : <> End of computing. ========== MATRIX 2 lines + 2 columns ===== L1= L2= ========== END-MATRIX -------------------------------------------------- > -------------------------------------------------- ;; Explanation: ;; ;; The GEOMETRY of OS4 is different from W's. ;; ;; This geometry is USED when constructing ;; the differential of the respective loop spaces. -------------------------------------------------- > -------------------------------------------------- ;; +-----------------+ ;; + | ;; + The END | ;; + | ;; +-----------------+ -------------------------------------------------- >