Add files via upload

gap-packages · Jan 11, 2024 · 3a0b648 · 3a0b648
1 parent 09b38c6
commit 3a0b648
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 4 deletions.
diff --git a/tutorial/chap6.html b/tutorial/chap6.html
@@ -200,7 +200,7 @@ <h4>6.5 <span class="Heading">Group presentations and homotopical syzygies</span
 
 <p><span class="SimpleMath">[ [x^-1,y][x,y] , [y,x][y^-1,x]y^-1 ] [ [y,x][y^-1,x] , x^-1 ] = 1</span></p>
 
-<p>Again, using the theorem of Seifert and Threlfall we see that the free nilpotent group of class two on two generators arises as the fundamental group of a closed compact orientable <span class="SimpleMath">3</span>-manifold <span class="SimpleMath">M</span>. The following commands construct <span class="SimpleMath">M</span> as a regular CW-complex.</p>
+<p>Again, using the theorem of Seifert and Threlfall we see that the free nilpotent group of class two on two generators arises as the fundamental group of a closed compact orientable <span class="SimpleMath">3</span>-manifold <span class="SimpleMath">M</span>.</p>
 
 <p><a id="X7F719758856A443D" name="X7F719758856A443D"></a></p>
 

diff --git a/tutorial/chap6.txt b/tutorial/chap6.txt
@@ -181,8 +181,7 @@
 
   [33X[0;0YAgain,  using  the  theorem  of  Seifert  and Threlfall we see that the free
   nilpotent  group  of  class  two on two generators arises as the fundamental
-  group  of  a  closed compact orientable [22X3[122X-manifold [22XM[122X. The following commands
-  construct [22XM[122X as a regular CW-complex.[133X
+  group of a closed compact orientable [22X3[122X-manifold [22XM[122X.[133X
 
 
   [1X6.6 [33X[0;0YBogomolov multiplier[133X[101X

diff --git a/tutorial/chap6_mj.html b/tutorial/chap6_mj.html
@@ -203,7 +203,7 @@ <h4>6.5 <span class="Heading">Group presentations and homotopical syzygies</span
 
 <p><span class="SimpleMath">\( [\ [x^{-1},y][x,y]\ ,\ [y,x][y^{-1},x]y^{-1}\ ]\ [\ [y,x][y^{-1},x]\ , \ x^{-1} \ ] \ \ =\ \ 1\)</span></p>
 
-<p>Again, using the theorem of Seifert and Threlfall we see that the free nilpotent group of class two on two generators arises as the fundamental group of a closed compact orientable <span class="SimpleMath">\(3\)</span>-manifold <span class="SimpleMath">\(M\)</span>. The following commands construct <span class="SimpleMath">\(M\)</span> as a regular CW-complex.</p>
+<p>Again, using the theorem of Seifert and Threlfall we see that the free nilpotent group of class two on two generators arises as the fundamental group of a closed compact orientable <span class="SimpleMath">\(3\)</span>-manifold <span class="SimpleMath">\(M\)</span>.</p>
 
 <p><a id="X7F719758856A443D" name="X7F719758856A443D"></a></p>