author Vivien Maisonneuve Wed, 20 Aug 2014 12:08:38 +0000 (14:08 +0200) committer Vivien Maisonneuve Wed, 20 Aug 2014 12:08:38 +0000 (14:08 +0200)
 doc/reference.rst patch | blob | history doc/tutorial.rst patch | blob | history linpy/polyhedra.py patch | blob | history

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 *Z-polyhedron* (simply called "polyhedron" in LinPy) is the set of integer points in a convex polyhedron.

.. 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:

-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}``.
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
-    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__ = (