Remove Arch Linux installation of isl in the doc

[linpy.git] / doc / tutorial.rst

diff --git a/doc/tutorial.rst b/doc/tutorial.rst
index b13a22e..67aecd6 100644 (file)
--- a/doc/tutorial.rst
+++ b/doc/tutorial.rst
@@ -10,8 +10,8 @@ For a comprehensive description of its functionalities, please consult the :ref:
 
 .. _tutorial_polyhedra:
 
 
 .. _tutorial_polyhedra:
 

-Polyhedra
----------
+Z-Polyhedra
+-----------

 
 The following example shows how we can manipulate polyhedra using LinPy.
 Let us define two square polyhedra, corresponding to the sets ``square1 = {(x, y) | 0 <= x <= 2, 0 <= y <= 2}`` and ``square2 = {(x, y) | 2 <= x <= 4, 2 <= y <= 4}``.
 
 The following example shows how we can manipulate polyhedra using LinPy.
 Let us define two square polyhedra, corresponding to the sets ``square1 = {(x, y) | 0 <= x <= 2, 0 <= y <= 2}`` and ``square2 = {(x, y) | 2 <= x <= 4, 2 <= y <= 4}``.