Mention that we use Z-polyhedra

[linpy.git] / doc / reference.rst

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)