Mention that we use Z-polyhedra

diff --git a/doc/reference.rst b/doc/reference.rst
index 07ceaf3a2b2078a2f6cab4b5ccbdfa14ae8b5b51..56986c5641eccb8eea2e89b02a69ac3197943fee 100644 (file)
--- a/doc/reference.rst
+++ b/doc/reference.rst
@@ -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 *Z-polyhedron* (simply called "polyhedron" in LinPy) is the set of integer points in a convex polyhedron.
 
 .. class:: Polyhedron(equalities, inequalities)
            Polyhedron(string)

diff --git a/doc/tutorial.rst b/doc/tutorial.rst
index b13a22e79f5f6c6cd19370920d09d9003ae2511e..67aecd62fbc4b2b0068d97c6e8b68a349977a7c2 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:
 
-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}``.

diff --git a/linpy/polyhedra.py b/linpy/polyhedra.py
index 4d7d1f38ec65d797eb658c359b4de1f956fbb406..f802151353e74dd22049b7374fe381f054728180 100644 (file)
--- a/linpy/polyhedra.py
+++ b/linpy/polyhedra.py
@@ -37,8 +37,9 @@ __all__ = [
 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__ = (