From 0dd09f23c231bb4366d130c015a20cf558bf8a0b Mon Sep 17 00:00:00 2001 From: gheber Date: Fri, 25 Mar 2016 15:26:15 -0500 Subject: [PATCH] Fixed LaTeX conversion errors. --- examples/21_Computing_homotopy_groups.ipynb | 320 ++++++++++---------- 1 file changed, 160 insertions(+), 160 deletions(-) diff --git a/examples/21_Computing_homotopy_groups.ipynb b/examples/21_Computing_homotopy_groups.ipynb index 8c0a294..cbe0b54 100644 --- a/examples/21_Computing_homotopy_groups.ipynb +++ b/examples/21_Computing_homotopy_groups.ipynb @@ -76,12 +76,12 @@ "The subsequence:\n", "$$0 \\longrightarrow \\pi_n(X') \\longrightarrow \\pi_n(X)\\longrightarrow \\pi \\longrightarrow 0.$$\n", "is exact; furthermore, the cocycle $\\chi$ is such that the connection morphism\n", - "$\\partial: \\pi_n(X) \\rightarrow \\pi$ is the identity; so that we deduce that $ \\pi_n (X')=0$.\n", + "$\\partial: \\pi_n(X) \\rightarrow \\pi$ is the identity; so that we deduce that $\\pi_n (X')=0$.\n", "\n", "On the other hand, from the exactness of the subsequence\n", "$$0 \\longrightarrow \\pi_{n+1}(X') \\longrightarrow \\pi_{n+1}(X) \\longrightarrow 0$$\n", - "we deduce that $ \\pi_{n+1}(X') \\simeq \\pi_{n+1}(X)$ and more generally $ \\pi_r(X') \\simeq \\pi_r(X)$ for $r \\not= n.$ In particular, $\\pi_r(X')=0$ for $r \\leq n+1$ and the Hurewicz theorem gives again:\n", - "$$ H_{n+1}(X') \\simeq \\pi_{n+1}(X') \\simeq \\pi_{n+1}(X).$$\n", + "we deduce that $\\pi_{n+1}(X') \\simeq \\pi_{n+1}(X)$ and more generally $\\pi_r(X') \\simeq \\pi_r(X)$ for $r \\not= n.$ In particular, $\\pi_r(X')=0$ for $r \\leq n+1$ and the Hurewicz theorem gives again:\n", + "$$H_{n+1}(X') \\simeq \\pi_{n+1}(X') \\simeq \\pi_{n+1}(X).$$\n", "So, if we know how to compute $H_{n+1}(X')$ then we have obtained $\\pi_{n+1}(X).$\n", "\n", "### 4) The Whitehead tower\n", @@ -161,7 +161,7 @@ "Rank of the source-module : 1.\n", "\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 21s.\n", + ";; Clock -> 2016-03-25, 20h 25m 9s.\n", "Computing the boundary of the generator 1/1 (dimension 0) :\n", "* \n", "End of computing.\n", @@ -181,7 +181,7 @@ "\n", "---done---\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 21s.\n", + ";; Clock -> 2016-03-25, 20h 25m 9s.\n", "\n", "\n", "Computing boundary-matrix in dimension 1.\n", @@ -200,7 +200,7 @@ "\n", "---done---\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 21s.\n", + ";; Clock -> 2016-03-25, 20h 25m 9s.\n", "\n", "\n", "Computing boundary-matrix in dimension 2.\n", @@ -211,7 +211,7 @@ "Rank of the source-module : 1.\n", "\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 21s.\n", + ";; Clock -> 2016-03-25, 20h 25m 9s.\n", "Computing the boundary of the generator 1/1 (dimension 3) :\n", "S3 \n", "End of computing.\n", @@ -225,14 +225,14 @@ "\n", "---done---\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 21s.\n", + ";; Clock -> 2016-03-25, 20h 25m 9s.\n", "\n", "\n", "Computing boundary-matrix in dimension 3.\n", "Rank of the source-module : 1.\n", "\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 21s.\n", + ";; Clock -> 2016-03-25, 20h 25m 9s.\n", "Computing the boundary of the generator 1/1 (dimension 3) :\n", "S3 \n", "End of computing.\n", @@ -252,7 +252,7 @@ "\n", "---done---\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 21s.\n", + ";; Clock -> 2016-03-25, 20h 25m 9s.\n", "\n" ] }, @@ -353,7 +353,7 @@ "Rank of the source-module : 1.\n", "\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 21s.\n", + ";; Clock -> 2016-03-25, 20h 25m 9s.\n", "Computing the boundary of the generator 1/1 (dimension 0) :\n", ">> \n", "End of computing.\n", @@ -373,7 +373,7 @@ "\n", "---done---\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 21s.\n", + ";; Clock -> 2016-03-25, 20h 25m 9s.\n", "\n", "\n", "Computing boundary-matrix in dimension 1.\n", @@ -384,7 +384,7 @@ "Rank of the source-module : 1.\n", "\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 21s.\n", + ";; Clock -> 2016-03-25, 20h 25m 9s.\n", "Computing the boundary of the generator 1/1 (dimension 2) :\n", ">> \n", "End of computing.\n", @@ -398,14 +398,14 @@ "\n", "---done---\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 21s.\n", + ";; Clock -> 2016-03-25, 20h 25m 9s.\n", "\n", "\n", "Computing boundary-matrix in dimension 2.\n", "Rank of the source-module : 1.\n", "\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 21s.\n", + ";; Clock -> 2016-03-25, 20h 25m 9s.\n", "Computing the boundary of the generator 1/1 (dimension 2) :\n", ">> \n", "End of computing.\n", @@ -415,7 +415,7 @@ "Rank of the source-module : 1.\n", "\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 21s.\n", + ";; Clock -> 2016-03-25, 20h 25m 9s.\n", "Computing the boundary of the generator 1/1 (dimension 3) :\n", ">> \n", "End of computing.\n", @@ -429,14 +429,14 @@ "\n", "---done---\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 21s.\n", + ";; Clock -> 2016-03-25, 20h 25m 9s.\n", "\n", "\n", "Computing boundary-matrix in dimension 3.\n", "Rank of the source-module : 1.\n", "\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 21s.\n", + ";; Clock -> 2016-03-25, 20h 25m 9s.\n", "Computing the boundary of the generator 1/1 (dimension 3) :\n", ">> \n", "End of computing.\n", @@ -446,7 +446,7 @@ "Rank of the source-module : 1.\n", "\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 21s.\n", + ";; Clock -> 2016-03-25, 20h 25m 9s.\n", "Computing the boundary of the generator 1/1 (dimension 4) :\n", ">> \n", "End of computing.\n", @@ -460,14 +460,14 @@ "\n", "---done---\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 21s.\n", + ";; Clock -> 2016-03-25, 20h 25m 9s.\n", "\n", "\n", "Computing boundary-matrix in dimension 4.\n", "Rank of the source-module : 1.\n", "\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 21s.\n", + ";; Clock -> 2016-03-25, 20h 25m 9s.\n", "Computing the boundary of the generator 1/1 (dimension 4) :\n", ">> \n", "End of computing.\n", @@ -477,7 +477,7 @@ "Rank of the source-module : 1.\n", "\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 21s.\n", + ";; Clock -> 2016-03-25, 20h 25m 9s.\n", "Computing the boundary of the generator 1/1 (dimension 5) :\n", ">> \n", "End of computing.\n", @@ -493,14 +493,14 @@ "\n", "---done---\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 21s.\n", + ";; Clock -> 2016-03-25, 20h 25m 9s.\n", "\n", "\n", "Computing boundary-matrix in dimension 5.\n", "Rank of the source-module : 1.\n", "\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 21s.\n", + ";; Clock -> 2016-03-25, 20h 25m 9s.\n", "Computing the boundary of the generator 1/1 (dimension 5) :\n", ">> \n", "End of computing.\n", @@ -510,7 +510,7 @@ "Rank of the source-module : 1.\n", "\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 21s.\n", + ";; Clock -> 2016-03-25, 20h 25m 9s.\n", "Computing the boundary of the generator 1/1 (dimension 6) :\n", ">> \n", "End of computing.\n", @@ -524,7 +524,7 @@ "\n", "---done---\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 21s.\n", + ";; Clock -> 2016-03-25, 20h 25m 9s.\n", "\n" ] }, @@ -671,7 +671,7 @@ "Rank of the source-module : 1.\n", "\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 21s.\n", + ";; Clock -> 2016-03-25, 20h 25m 9s.\n", "Computing the boundary of the generator 1/1 (dimension 0) :\n", "* \n", "End of computing.\n", @@ -691,7 +691,7 @@ "\n", "---done---\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 21s.\n", + ";; Clock -> 2016-03-25, 20h 25m 9s.\n", "\n", "\n", "Computing boundary-matrix in dimension 1.\n", @@ -710,7 +710,7 @@ "\n", "---done---\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 21s.\n", + ";; Clock -> 2016-03-25, 20h 25m 9s.\n", "\n", "\n", "Computing boundary-matrix in dimension 2.\n", @@ -729,7 +729,7 @@ "\n", "---done---\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 21s.\n", + ";; Clock -> 2016-03-25, 20h 25m 9s.\n", "\n", "\n", "Computing boundary-matrix in dimension 3.\n", @@ -740,7 +740,7 @@ "Rank of the source-module : 1.\n", "\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 21s.\n", + ";; Clock -> 2016-03-25, 20h 25m 9s.\n", "Computing the boundary of the generator 1/1 (dimension 4) :\n", "M4 \n", "End of computing.\n", @@ -754,14 +754,14 @@ "\n", "---done---\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 21s.\n", + ";; Clock -> 2016-03-25, 20h 25m 9s.\n", "\n", "\n", "Computing boundary-matrix in dimension 4.\n", "Rank of the source-module : 1.\n", "\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 21s.\n", + ";; Clock -> 2016-03-25, 20h 25m 9s.\n", "Computing the boundary of the generator 1/1 (dimension 4) :\n", "M4 \n", "End of computing.\n", @@ -771,7 +771,7 @@ "Rank of the source-module : 1.\n", "\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 21s.\n", + ";; Clock -> 2016-03-25, 20h 25m 9s.\n", "Computing the boundary of the generator 1/1 (dimension 5) :\n", "N5 \n", "End of computing.\n", @@ -787,7 +787,7 @@ "\n", "---done---\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 21s.\n", + ";; Clock -> 2016-03-25, 20h 25m 9s.\n", "\n" ] }, @@ -888,7 +888,7 @@ "Rank of the source-module : 1.\n", "\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 21s.\n", + ";; Clock -> 2016-03-25, 20h 25m 9s.\n", "Computing the boundary of the generator 1/1 (dimension 0) :\n", ">> \n", "End of computing.\n", @@ -908,7 +908,7 @@ "\n", "---done---\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 21s.\n", + ";; Clock -> 2016-03-25, 20h 25m 9s.\n", "\n", "\n", "Computing boundary-matrix in dimension 1.\n", @@ -927,7 +927,7 @@ "\n", "---done---\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 21s.\n", + ";; Clock -> 2016-03-25, 20h 25m 9s.\n", "\n", "\n", "Computing boundary-matrix in dimension 2.\n", @@ -938,7 +938,7 @@ "Rank of the source-module : 1.\n", "\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 21s.\n", + ";; Clock -> 2016-03-25, 20h 25m 9s.\n", "Computing the boundary of the generator 1/1 (dimension 3) :\n", ">]>>> \n", "End of computing.\n", @@ -952,14 +952,14 @@ "\n", "---done---\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 21s.\n", + ";; Clock -> 2016-03-25, 20h 25m 9s.\n", "\n", "\n", "Computing boundary-matrix in dimension 3.\n", "Rank of the source-module : 1.\n", "\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 21s.\n", + ";; Clock -> 2016-03-25, 20h 25m 9s.\n", "Computing the boundary of the generator 1/1 (dimension 3) :\n", ">]>>> \n", "End of computing.\n", @@ -969,13 +969,13 @@ "Rank of the source-module : 2.\n", "\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 21s.\n", + ";; Clock -> 2016-03-25, 20h 25m 9s.\n", "Computing the boundary of the generator 1/2 (dimension 4) :\n", ">]>>> \n", "End of computing.\n", "\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 21s.\n", + ";; Clock -> 2016-03-25, 20h 25m 9s.\n", "Computing the boundary of the generator 2/2 (dimension 4) :\n", ">> \n", "End of computing.\n", @@ -989,20 +989,20 @@ "\n", "---done---\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 21s.\n", + ";; Clock -> 2016-03-25, 20h 25m 9s.\n", "\n", "\n", "Computing boundary-matrix in dimension 4.\n", "Rank of the source-module : 2.\n", "\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 21s.\n", + ";; Clock -> 2016-03-25, 20h 25m 9s.\n", "Computing the boundary of the generator 1/2 (dimension 4) :\n", ">]>>> \n", "End of computing.\n", "\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 21s.\n", + ";; Clock -> 2016-03-25, 20h 25m 9s.\n", "Computing the boundary of the generator 2/2 (dimension 4) :\n", ">> \n", "End of computing.\n", @@ -1012,19 +1012,19 @@ "Rank of the source-module : 3.\n", "\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 21s.\n", + ";; Clock -> 2016-03-25, 20h 25m 9s.\n", "Computing the boundary of the generator 1/3 (dimension 5) :\n", ">]>>> \n", "End of computing.\n", "\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 21s.\n", + ";; Clock -> 2016-03-25, 20h 25m 9s.\n", "Computing the boundary of the generator 2/3 (dimension 5) :\n", ">]>>> \n", "End of computing.\n", "\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 21s.\n", + ";; Clock -> 2016-03-25, 20h 25m 9s.\n", "Computing the boundary of the generator 3/3 (dimension 5) :\n", ">> \n", "End of computing.\n", @@ -1038,26 +1038,26 @@ "\n", "---done---\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 21s.\n", + ";; Clock -> 2016-03-25, 20h 25m 9s.\n", "\n", "\n", "Computing boundary-matrix in dimension 5.\n", "Rank of the source-module : 3.\n", "\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 21s.\n", + ";; Clock -> 2016-03-25, 20h 25m 9s.\n", "Computing the boundary of the generator 1/3 (dimension 5) :\n", ">]>>> \n", "End of computing.\n", "\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 21s.\n", + ";; Clock -> 2016-03-25, 20h 25m 9s.\n", "Computing the boundary of the generator 2/3 (dimension 5) :\n", ">]>>> \n", "End of computing.\n", "\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 21s.\n", + ";; Clock -> 2016-03-25, 20h 25m 9s.\n", "Computing the boundary of the generator 3/3 (dimension 5) :\n", ">> \n", "End of computing.\n", @@ -1067,25 +1067,25 @@ "Rank of the source-module : 4.\n", "\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 21s.\n", + ";; Clock -> 2016-03-25, 20h 25m 9s.\n", "Computing the boundary of the generator 1/4 (dimension 6) :\n", ">]>>> \n", "End of computing.\n", "\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 21s.\n", + ";; Clock -> 2016-03-25, 20h 25m 9s.\n", "Computing the boundary of the generator 2/4 (dimension 6) :\n", ">]>>> \n", "End of computing.\n", "\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 21s.\n", + ";; Clock -> 2016-03-25, 20h 25m 9s.\n", "Computing the boundary of the generator 3/4 (dimension 6) :\n", ">]>>> \n", "End of computing.\n", "\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 21s.\n", + ";; Clock -> 2016-03-25, 20h 25m 9s.\n", "Computing the boundary of the generator 4/4 (dimension 6) :\n", ">][3 <>]>>> \n", "End of computing.\n", @@ -1101,7 +1101,7 @@ "\n", "---done---\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 21s.\n", + ";; Clock -> 2016-03-25, 20h 25m 9s.\n", "\n" ] }, @@ -1232,7 +1232,7 @@ "Rank of the source-module : 1.\n", "\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 21s.\n", + ";; Clock -> 2016-03-25, 20h 25m 10s.\n", "Computing the boundary of the generator 1/1 (dimension 0) :\n", "> <>> \n", "End of computing.\n", @@ -1252,7 +1252,7 @@ "\n", "---done---\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 21s.\n", + ";; Clock -> 2016-03-25, 20h 25m 10s.\n", "\n", "\n", "Computing boundary-matrix in dimension 1.\n", @@ -1271,7 +1271,7 @@ "\n", "---done---\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 21s.\n", + ";; Clock -> 2016-03-25, 20h 25m 10s.\n", "\n", "\n", "Computing boundary-matrix in dimension 2.\n", @@ -1290,7 +1290,7 @@ "\n", "---done---\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 21s.\n", + ";; Clock -> 2016-03-25, 20h 25m 10s.\n", "\n", "\n", "Computing boundary-matrix in dimension 3.\n", @@ -1301,7 +1301,7 @@ "Rank of the source-module : 1.\n", "\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 21s.\n", + ";; Clock -> 2016-03-25, 20h 25m 10s.\n", "Computing the boundary of the generator 1/1 (dimension 4) :\n", "> <>]>>]>>> \n", "End of computing.\n", @@ -1315,14 +1315,14 @@ "\n", "---done---\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 21s.\n", + ";; Clock -> 2016-03-25, 20h 25m 10s.\n", "\n", "\n", "Computing boundary-matrix in dimension 4.\n", "Rank of the source-module : 1.\n", "\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 21s.\n", + ";; Clock -> 2016-03-25, 20h 25m 10s.\n", "Computing the boundary of the generator 1/1 (dimension 4) :\n", "> <>]>>]>>> \n", "End of computing.\n", @@ -1332,7 +1332,7 @@ "Rank of the source-module : 1.\n", "\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 21s.\n", + ";; Clock -> 2016-03-25, 20h 25m 10s.\n", "Computing the boundary of the generator 1/1 (dimension 5) :\n", ">]>>]>>]>> <>> \n", "End of computing.\n", @@ -1346,14 +1346,14 @@ "\n", "---done---\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 21s.\n", + ";; Clock -> 2016-03-25, 20h 25m 10s.\n", "\n", "\n", "Computing boundary-matrix in dimension 5.\n", "Rank of the source-module : 1.\n", "\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 21s.\n", + ";; Clock -> 2016-03-25, 20h 25m 10s.\n", "Computing the boundary of the generator 1/1 (dimension 5) :\n", ">]>>]>>]>> <>> \n", "End of computing.\n", @@ -1363,7 +1363,7 @@ "Rank of the source-module : 1.\n", "\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 21s.\n", + ";; Clock -> 2016-03-25, 20h 25m 10s.\n", "Computing the boundary of the generator 1/1 (dimension 6) :\n", "> <>]>>]>>> \n", "End of computing.\n", @@ -1377,14 +1377,14 @@ "\n", "---done---\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 21s.\n", + ";; Clock -> 2016-03-25, 20h 25m 10s.\n", "\n", "\n", "Computing boundary-matrix in dimension 6.\n", "Rank of the source-module : 1.\n", "\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 21s.\n", + ";; Clock -> 2016-03-25, 20h 25m 10s.\n", "Computing the boundary of the generator 1/1 (dimension 6) :\n", "> <>]>>]>>> \n", "End of computing.\n", @@ -1394,13 +1394,13 @@ "Rank of the source-module : 2.\n", "\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 21s.\n", + ";; Clock -> 2016-03-25, 20h 25m 10s.\n", "Computing the boundary of the generator 1/2 (dimension 7) :\n", "> <>][3 <>]>>]>>> \n", "End of computing.\n", "\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 21s.\n", + ";; Clock -> 2016-03-25, 20h 25m 10s.\n", "Computing the boundary of the generator 2/2 (dimension 7) :\n", ">]>>]>>]>> <>> \n", "End of computing.\n", @@ -1414,20 +1414,20 @@ "\n", "---done---\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 21s.\n", + ";; Clock -> 2016-03-25, 20h 25m 10s.\n", "\n", "\n", "Computing boundary-matrix in dimension 7.\n", "Rank of the source-module : 2.\n", "\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 21s.\n", + ";; Clock -> 2016-03-25, 20h 25m 10s.\n", "Computing the boundary of the generator 1/2 (dimension 7) :\n", "> <>][3 <>]>>]>>> \n", "End of computing.\n", "\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 21s.\n", + ";; Clock -> 2016-03-25, 20h 25m 10s.\n", "Computing the boundary of the generator 2/2 (dimension 7) :\n", ">]>>]>>]>> <>> \n", "End of computing.\n", @@ -1437,19 +1437,19 @@ "Rank of the source-module : 3.\n", "\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 21s.\n", + ";; Clock -> 2016-03-25, 20h 25m 10s.\n", "Computing the boundary of the generator 1/3 (dimension 8) :\n", "> <>]>>]>>> \n", "End of computing.\n", "\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 21s.\n", + ";; Clock -> 2016-03-25, 20h 25m 10s.\n", "Computing the boundary of the generator 2/3 (dimension 8) :\n", "> <>]>>][4 <>]>>]>>> \n", "End of computing.\n", "\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 21s.\n", + ";; Clock -> 2016-03-25, 20h 25m 10s.\n", "Computing the boundary of the generator 3/3 (dimension 8) :\n", ">][3 <>]>>]>>]>> <>> \n", "End of computing.\n", @@ -1463,26 +1463,26 @@ "\n", "---done---\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 21s.\n", + ";; Clock -> 2016-03-25, 20h 25m 10s.\n", "\n", "\n", "Computing boundary-matrix in dimension 8.\n", "Rank of the source-module : 3.\n", "\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 21s.\n", + ";; Clock -> 2016-03-25, 20h 25m 10s.\n", "Computing the boundary of the generator 1/3 (dimension 8) :\n", "> <>]>>]>>> \n", "End of computing.\n", "\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 21s.\n", + ";; Clock -> 2016-03-25, 20h 25m 10s.\n", "Computing the boundary of the generator 2/3 (dimension 8) :\n", "> <>]>>][4 <>]>>]>>> \n", "End of computing.\n", "\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 21s.\n", + ";; Clock -> 2016-03-25, 20h 25m 10s.\n", "Computing the boundary of the generator 3/3 (dimension 8) :\n", ">][3 <>]>>]>>]>> <>> \n", "End of computing.\n", @@ -1492,31 +1492,31 @@ "Rank of the source-module : 5.\n", "\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 21s.\n", + ";; Clock -> 2016-03-25, 20h 25m 10s.\n", "Computing the boundary of the generator 1/5 (dimension 9) :\n", "> <>][5 <>]>>]>>> \n", "End of computing.\n", "\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 21s.\n", + ";; Clock -> 2016-03-25, 20h 25m 10s.\n", "Computing the boundary of the generator 2/5 (dimension 9) :\n", "> <>][3 <>]>>]>>> \n", "End of computing.\n", "\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 22s.\n", + ";; Clock -> 2016-03-25, 20h 25m 10s.\n", "Computing the boundary of the generator 3/5 (dimension 9) :\n", ">]>>]>>]>> <>]>>]>>> \n", "End of computing.\n", "\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 22s.\n", + ";; Clock -> 2016-03-25, 20h 25m 10s.\n", "Computing the boundary of the generator 4/5 (dimension 9) :\n", ">]>>]>>]>> <>> \n", "End of computing.\n", "\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 22s.\n", + ";; Clock -> 2016-03-25, 20h 25m 10s.\n", "Computing the boundary of the generator 5/5 (dimension 9) :\n", ">]>>][4 <>]>>]>>]>> <>> \n", "End of computing.\n", @@ -1530,38 +1530,38 @@ "\n", "---done---\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 22s.\n", + ";; Clock -> 2016-03-25, 20h 25m 10s.\n", "\n", "\n", "Computing boundary-matrix in dimension 9.\n", "Rank of the source-module : 5.\n", "\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 22s.\n", + ";; Clock -> 2016-03-25, 20h 25m 10s.\n", "Computing the boundary of the generator 1/5 (dimension 9) :\n", "> <>][5 <>]>>]>>> \n", "End of computing.\n", "\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 22s.\n", + ";; Clock -> 2016-03-25, 20h 25m 10s.\n", "Computing the boundary of the generator 2/5 (dimension 9) :\n", "> <>][3 <>]>>]>>> \n", "End of computing.\n", "\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 22s.\n", + ";; Clock -> 2016-03-25, 20h 25m 10s.\n", "Computing the boundary of the generator 3/5 (dimension 9) :\n", ">]>>]>>]>> <>]>>]>>> \n", "End of computing.\n", "\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 22s.\n", + ";; Clock -> 2016-03-25, 20h 25m 10s.\n", "Computing the boundary of the generator 4/5 (dimension 9) :\n", ">]>>]>>]>> <>> \n", "End of computing.\n", "\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 22s.\n", + ";; Clock -> 2016-03-25, 20h 25m 10s.\n", "Computing the boundary of the generator 5/5 (dimension 9) :\n", ">]>>][4 <>]>>]>>]>> <>> \n", "End of computing.\n", @@ -1571,43 +1571,43 @@ "Rank of the source-module : 7.\n", "\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 22s.\n", + ";; Clock -> 2016-03-25, 20h 25m 10s.\n", "Computing the boundary of the generator 1/7 (dimension 10) :\n", "> <>]>>]>>> \n", "End of computing.\n", "\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 22s.\n", + ";; Clock -> 2016-03-25, 20h 25m 10s.\n", "Computing the boundary of the generator 2/7 (dimension 10) :\n", "> <>][3 <>][3 <>]>>]>>> \n", "End of computing.\n", "\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 22s.\n", + ";; Clock -> 2016-03-25, 20h 25m 11s.\n", "Computing the boundary of the generator 3/7 (dimension 10) :\n", "> <>]>>][6 <>]>>]>>> \n", "End of computing.\n", "\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 22s.\n", + ";; Clock -> 2016-03-25, 20h 25m 11s.\n", "Computing the boundary of the generator 4/7 (dimension 10) :\n", "> <>]>>][4 <>]>>]>>> \n", "End of computing.\n", "\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 22s.\n", + ";; Clock -> 2016-03-25, 20h 25m 11s.\n", "Computing the boundary of the generator 5/7 (dimension 10) :\n", ">][5 <>]>>]>>]>> <>> \n", "End of computing.\n", "\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 23s.\n", + ";; Clock -> 2016-03-25, 20h 25m 12s.\n", "Computing the boundary of the generator 6/7 (dimension 10) :\n", ">][3 <>]>>]>>]>> <>> \n", "End of computing.\n", "\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 23s.\n", + ";; Clock -> 2016-03-25, 20h 25m 12s.\n", "Computing the boundary of the generator 7/7 (dimension 10) :\n", ">]>>]>>][5 <>]>>]>>]>> <>> \n", "End of computing.\n", @@ -1621,7 +1621,7 @@ "\n", "---done---\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 23s.\n", + ";; Clock -> 2016-03-25, 20h 25m 12s.\n", "\n" ] }, @@ -1781,7 +1781,7 @@ "Rank of the source-module : 1.\n", "\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 23s.\n", + ";; Clock -> 2016-03-25, 20h 25m 12s.\n", "Computing the boundary of the generator 1/1 (dimension 4) :\n", ">> \n", "End of computing.\n", @@ -1791,7 +1791,7 @@ "Rank of the source-module : 1.\n", "\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 23s.\n", + ";; Clock -> 2016-03-25, 20h 25m 12s.\n", "Computing the boundary of the generator 1/1 (dimension 5) :\n", ">> \n", "End of computing.\n", @@ -1807,7 +1807,7 @@ "\n", "---done---\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 23s.\n", + ";; Clock -> 2016-03-25, 20h 25m 12s.\n", "\n" ] }, @@ -1908,25 +1908,25 @@ "Rank of the source-module : 4.\n", "\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 24s.\n", + ";; Clock -> 2016-03-25, 20h 25m 12s.\n", "Computing the boundary of the generator 1/4 (dimension 5) :\n", ">> <>]>>> \n", "End of computing.\n", "\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 24s.\n", + ";; Clock -> 2016-03-25, 20h 25m 12s.\n", "Computing the boundary of the generator 2/4 (dimension 5) :\n", ">> <>]>>> \n", "End of computing.\n", "\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 24s.\n", + ";; Clock -> 2016-03-25, 20h 25m 12s.\n", "Computing the boundary of the generator 3/4 (dimension 5) :\n", ">> <>]>>> \n", "End of computing.\n", "\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 24s.\n", + ";; Clock -> 2016-03-25, 20h 25m 12s.\n", "Computing the boundary of the generator 4/4 (dimension 5) :\n", ">> <>> \n", "End of computing.\n", @@ -1936,43 +1936,43 @@ "Rank of the source-module : 7.\n", "\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 24s.\n", + ";; Clock -> 2016-03-25, 20h 25m 12s.\n", "Computing the boundary of the generator 1/7 (dimension 6) :\n", ">> <>]>>> \n", "End of computing.\n", "\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 24s.\n", + ";; Clock -> 2016-03-25, 20h 25m 12s.\n", "Computing the boundary of the generator 2/7 (dimension 6) :\n", ">> <>]>>> \n", "End of computing.\n", "\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 24s.\n", + ";; Clock -> 2016-03-25, 20h 25m 12s.\n", "Computing the boundary of the generator 3/7 (dimension 6) :\n", ">> <>]>>> \n", "End of computing.\n", "\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 24s.\n", + ";; Clock -> 2016-03-25, 20h 25m 12s.\n", "Computing the boundary of the generator 4/7 (dimension 6) :\n", ">> <>][3 <>]>>> \n", "End of computing.\n", "\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 24s.\n", + ";; Clock -> 2016-03-25, 20h 25m 12s.\n", "Computing the boundary of the generator 5/7 (dimension 6) :\n", ">> <>]>>> \n", "End of computing.\n", "\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 24s.\n", + ";; Clock -> 2016-03-25, 20h 25m 12s.\n", "Computing the boundary of the generator 6/7 (dimension 6) :\n", ">> <>]>>> \n", "End of computing.\n", "\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 24s.\n", + ";; Clock -> 2016-03-25, 20h 25m 12s.\n", "Computing the boundary of the generator 7/7 (dimension 6) :\n", ">> <>> \n", "End of computing.\n", @@ -1988,7 +1988,7 @@ "\n", "---done---\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 24s.\n", + ";; Clock -> 2016-03-25, 20h 25m 12s.\n", "\n" ] }, @@ -2089,61 +2089,61 @@ "Rank of the source-module : 10.\n", "\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 24s.\n", + ";; Clock -> 2016-03-25, 20h 25m 12s.\n", "Computing the boundary of the generator 1/10 (dimension 6) :\n", ">> <>> <>]>>]>>> \n", "End of computing.\n", "\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 24s.\n", + ";; Clock -> 2016-03-25, 20h 25m 12s.\n", "Computing the boundary of the generator 2/10 (dimension 6) :\n", ">> <>> <>]>>]>>> \n", "End of computing.\n", "\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 24s.\n", + ";; Clock -> 2016-03-25, 20h 25m 12s.\n", "Computing the boundary of the generator 3/10 (dimension 6) :\n", ">> <>> <>]>>]>>> \n", "End of computing.\n", "\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 24s.\n", + ";; Clock -> 2016-03-25, 20h 25m 12s.\n", "Computing the boundary of the generator 4/10 (dimension 6) :\n", ">> <>]>>> <>> \n", "End of computing.\n", "\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 24s.\n", + ";; Clock -> 2016-03-25, 20h 25m 12s.\n", "Computing the boundary of the generator 5/10 (dimension 6) :\n", ">> <>]>>> <>> \n", "End of computing.\n", "\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 24s.\n", + ";; Clock -> 2016-03-25, 20h 25m 12s.\n", "Computing the boundary of the generator 6/10 (dimension 6) :\n", ">> <>]>>> <>> \n", "End of computing.\n", "\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 24s.\n", + ";; Clock -> 2016-03-25, 20h 25m 12s.\n", "Computing the boundary of the generator 7/10 (dimension 6) :\n", ">> <>][3 <>]>>> <>> \n", "End of computing.\n", "\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 24s.\n", + ";; Clock -> 2016-03-25, 20h 25m 13s.\n", "Computing the boundary of the generator 8/10 (dimension 6) :\n", ">> <>]>>> <>> \n", "End of computing.\n", "\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 24s.\n", + ";; Clock -> 2016-03-25, 20h 25m 13s.\n", "Computing the boundary of the generator 9/10 (dimension 6) :\n", ">> <>]>>> <>> \n", "End of computing.\n", "\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 24s.\n", + ";; Clock -> 2016-03-25, 20h 25m 13s.\n", "Computing the boundary of the generator 10/10 (dimension 6) :\n", ">> <>> <>> \n", "End of computing.\n", @@ -2153,115 +2153,115 @@ "Rank of the source-module : 19.\n", "\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 24s.\n", + ";; Clock -> 2016-03-25, 20h 25m 13s.\n", "Computing the boundary of the generator 1/19 (dimension 7) :\n", ">> <>> <>]>>]>>> \n", "End of computing.\n", "\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 24s.\n", + ";; Clock -> 2016-03-25, 20h 25m 13s.\n", "Computing the boundary of the generator 2/19 (dimension 7) :\n", ">> <>> <>]>>]>>> \n", "End of computing.\n", "\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 24s.\n", + ";; Clock -> 2016-03-25, 20h 25m 13s.\n", "Computing the boundary of the generator 3/19 (dimension 7) :\n", ">> <>> <>]>>]>>> \n", "End of computing.\n", "\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 24s.\n", + ";; Clock -> 2016-03-25, 20h 25m 13s.\n", "Computing the boundary of the generator 4/19 (dimension 7) :\n", ">> <>> <>][3 <>]>>]>>> \n", "End of computing.\n", "\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 24s.\n", + ";; Clock -> 2016-03-25, 20h 25m 13s.\n", "Computing the boundary of the generator 5/19 (dimension 7) :\n", ">> <>> <>]>>]>>> \n", "End of computing.\n", "\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 24s.\n", + ";; Clock -> 2016-03-25, 20h 25m 13s.\n", "Computing the boundary of the generator 6/19 (dimension 7) :\n", ">> <>]>>> <>]>>]>>> \n", "End of computing.\n", "\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 24s.\n", + ";; Clock -> 2016-03-25, 20h 25m 13s.\n", "Computing the boundary of the generator 7/19 (dimension 7) :\n", ">> <>> <>]>>]>>> \n", "End of computing.\n", "\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 24s.\n", + ";; Clock -> 2016-03-25, 20h 25m 13s.\n", "Computing the boundary of the generator 8/19 (dimension 7) :\n", ">> <>]>>> <>> \n", "End of computing.\n", "\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 24s.\n", + ";; Clock -> 2016-03-25, 20h 25m 13s.\n", "Computing the boundary of the generator 9/19 (dimension 7) :\n", ">> <>]>>> <>> \n", "End of computing.\n", "\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 24s.\n", + ";; Clock -> 2016-03-25, 20h 25m 13s.\n", "Computing the boundary of the generator 10/19 (dimension 7) :\n", ">> <>]>>> <>> \n", "End of computing.\n", "\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 24s.\n", + ";; Clock -> 2016-03-25, 20h 25m 13s.\n", "Computing the boundary of the generator 11/19 (dimension 7) :\n", ">> <>]>>> <>> \n", "End of computing.\n", "\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 24s.\n", + ";; Clock -> 2016-03-25, 20h 25m 13s.\n", "Computing the boundary of the generator 12/19 (dimension 7) :\n", ">> <>]>>> <>> \n", "End of computing.\n", "\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 24s.\n", + ";; Clock -> 2016-03-25, 20h 25m 13s.\n", "Computing the boundary of the generator 13/19 (dimension 7) :\n", ">> <>][4 <>]>>> <>> \n", "End of computing.\n", "\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 24s.\n", + ";; Clock -> 2016-03-25, 20h 25m 14s.\n", "Computing the boundary of the generator 14/19 (dimension 7) :\n", ">> <>][3 <>]>>> <>> \n", "End of computing.\n", "\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 24s.\n", + ";; Clock -> 2016-03-25, 20h 25m 14s.\n", "Computing the boundary of the generator 15/19 (dimension 7) :\n", ">> <>]>>> <>> \n", "End of computing.\n", "\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 24s.\n", + ";; Clock -> 2016-03-25, 20h 25m 14s.\n", "Computing the boundary of the generator 16/19 (dimension 7) :\n", ">> <>]>>> <>> \n", "End of computing.\n", "\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 24s.\n", + ";; Clock -> 2016-03-25, 20h 25m 14s.\n", "Computing the boundary of the generator 17/19 (dimension 7) :\n", ">> <>]>>> <>> \n", "End of computing.\n", "\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 24s.\n", + ";; Clock -> 2016-03-25, 20h 25m 14s.\n", "Computing the boundary of the generator 18/19 (dimension 7) :\n", ">> <>]>>> <>> \n", "End of computing.\n", "\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 25s.\n", + ";; Clock -> 2016-03-25, 20h 25m 14s.\n", "Computing the boundary of the generator 19/19 (dimension 7) :\n", ">> <>> <>> \n", "End of computing.\n", @@ -2277,7 +2277,7 @@ "\n", "---done---\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 29s.\n", + ";; Clock -> 2016-03-25, 20h 25m 19s.\n", "\n" ] }, @@ -2371,7 +2371,7 @@ "Rank of the source-module : 1.\n", "\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 29s.\n", + ";; Clock -> 2016-03-25, 20h 25m 19s.\n", "Computing the boundary of the generator 1/1 (dimension 0) :\n", "0 \n", "End of computing.\n", @@ -2381,7 +2381,7 @@ "Rank of the source-module : 1.\n", "\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 29s.\n", + ";; Clock -> 2016-03-25, 20h 25m 19s.\n", "Computing the boundary of the generator 1/1 (dimension 1) :\n", "1 \n", "End of computing.\n", @@ -2397,14 +2397,14 @@ "\n", "---done---\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 29s.\n", + ";; Clock -> 2016-03-25, 20h 25m 19s.\n", "\n", "\n", "Computing boundary-matrix in dimension 1.\n", "Rank of the source-module : 1.\n", "\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 29s.\n", + ";; Clock -> 2016-03-25, 20h 25m 19s.\n", "Computing the boundary of the generator 1/1 (dimension 1) :\n", "1 \n", "End of computing.\n", @@ -2424,7 +2424,7 @@ "\n", "---done---\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 29s.\n", + ";; Clock -> 2016-03-25, 20h 25m 19s.\n", "\n", "\n", "Computing boundary-matrix in dimension 2.\n", @@ -2443,7 +2443,7 @@ "\n", "---done---\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 29s.\n", + ";; Clock -> 2016-03-25, 20h 25m 19s.\n", "\n", "\n", "Computing boundary-matrix in dimension 3.\n", @@ -2462,7 +2462,7 @@ "\n", "---done---\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 29s.\n", + ";; Clock -> 2016-03-25, 20h 25m 19s.\n", "\n", "\n", "Computing boundary-matrix in dimension 4.\n", @@ -2481,7 +2481,7 @@ "\n", "---done---\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 29s.\n", + ";; Clock -> 2016-03-25, 20h 25m 19s.\n", "\n", "\n", "Computing boundary-matrix in dimension 5.\n", @@ -2500,7 +2500,7 @@ "\n", "---done---\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 29s.\n", + ";; Clock -> 2016-03-25, 20h 25m 19s.\n", "\n", "\n", "Computing boundary-matrix in dimension 6.\n", @@ -2519,7 +2519,7 @@ "\n", "---done---\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 29s.\n", + ";; Clock -> 2016-03-25, 20h 25m 19s.\n", "\n", "\n", "Computing boundary-matrix in dimension 7.\n", @@ -2538,7 +2538,7 @@ "\n", "---done---\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 29s.\n", + ";; Clock -> 2016-03-25, 20h 25m 19s.\n", "\n", "\n", "Computing boundary-matrix in dimension 8.\n", @@ -2557,7 +2557,7 @@ "\n", "---done---\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 29s.\n", + ";; Clock -> 2016-03-25, 20h 25m 19s.\n", "\n", "\n", "Computing boundary-matrix in dimension 9.\n", @@ -2576,7 +2576,7 @@ "\n", "---done---\n", "\n", - ";; Clock -> 2016-03-25, 20h 16m 29s.\n", + ";; Clock -> 2016-03-25, 20h 25m 19s.\n", "\n" ] },