Make Expression.subs() always return a LinExpr instance
[linpy.git] / doc / tutorial.rst
index b13a22e..67aecd6 100644 (file)
@@ -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}``.