From: Vivien Maisonneuve
Date: Wed, 20 Aug 2014 12:08:38 +0000 (+0200)
Subject: Mention that we use Z-polyhedra
X-Git-Tag: 1.0~5
X-Git-Url: https://scm.cri.ensmp.fr/git/linpy.git/commitdiff_plain/6d08d8c0a84c1ffa31f5eb16e33b340727f46175?hp=b2931230a184025bdb6006bfe48c9b1dc18dc351
Mention that we use Z-polyhedra
---
diff --git a/doc/reference.rst b/doc/reference.rst
index 07ceaf3..56986c5 100644
--- 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 b13a22e..67aecd6 100644
--- 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 4d7d1f3..f802151 100644
--- 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__ = (