Mention that we use Z-polyhedra
authorVivien Maisonneuve <v.maisonneuve@gmail.com>
Wed, 20 Aug 2014 12:08:38 +0000 (14:08 +0200)
committerVivien Maisonneuve <v.maisonneuve@gmail.com>
Wed, 20 Aug 2014 12:08:38 +0000 (14:08 +0200)
doc/reference.rst
doc/tutorial.rst
linpy/polyhedra.py

index 07ceaf3..56986c5 100644 (file)
@@ -243,6 +243,7 @@ Polyhedra
 
 A *convex polyhedron* (or simply "polyhedron") is the space defined by a system of linear equalities and inequalities.
 This space can be unbounded.
 
 A *convex polyhedron* (or simply "polyhedron") is the space defined by a system of linear equalities and inequalities.
 This space can be unbounded.
+A *Z-polyhedron* (simply called "polyhedron" in LinPy) is the set of integer points in a convex polyhedron.
 
 .. class:: Polyhedron(equalities, inequalities)
            Polyhedron(string)
 
 .. class:: Polyhedron(equalities, inequalities)
            Polyhedron(string)
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}``.
index 4d7d1f3..f802151 100644 (file)
@@ -37,8 +37,9 @@ __all__ = [
 class Polyhedron(Domain):
     """
     A convex polyhedron (or simply "polyhedron") is the space defined by a
 class Polyhedron(Domain):
     """
     A convex polyhedron (or simply "polyhedron") is the space defined by a
-    system of linear equalities and inequalities. This space can be
-    unbounded.
+    system of linear equalities and inequalities. This space can be unbounded. A
+    Z-polyhedron (simply called "polyhedron" in LinPy) is the set of integer
+    points in a convex polyhedron.
     """
 
     __slots__ = (
     """
 
     __slots__ = (