]> CRI, Mines Paris - PSL - linpy.git/blobdiff - linpy/polyhedra.py
Mention that we use Z-polyhedra
[linpy.git] / linpy / polyhedra.py
index 4d7d1f38ec65d797eb658c359b4de1f956fbb406..f802151353e74dd22049b7374fe381f054728180 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__ = (