X-Git-Url: https://scm.cri.ensmp.fr/git/linpy.git/blobdiff_plain/b2931230a184025bdb6006bfe48c9b1dc18dc351..2b13a146860ac116ce0388d8f7551044c09c55f7:/linpy/polyhedra.py

diff --git a/linpy/polyhedra.py b/linpy/polyhedra.py
index 4d7d1f3..c05432a 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__ = (
@@ -316,14 +317,6 @@ class Polyhedron(Domain):
         else:
             return 'And({})'.format(', '.join(strings))
 
-    def _repr_latex_(self):
-        strings = []
-        for equality in self.equalities:
-            strings.append('{} = 0'.format(equality._repr_latex_().strip('$')))
-        for inequality in self.inequalities:
-            strings.append('{} \\ge 0'.format(inequality._repr_latex_().strip('$')))
-        return '$${}$$'.format(' \\wedge '.join(strings))
-
     @classmethod
     def fromsympy(cls, expr):
         domain = Domain.fromsympy(expr)
@@ -362,9 +355,6 @@ class EmptyType(Polyhedron):
     def __repr__(self):
         return 'Empty'
 
-    def _repr_latex_(self):
-        return '$$\\emptyset$$'
-
 Empty = EmptyType()
 
 
@@ -385,9 +375,6 @@ class UniverseType(Polyhedron):
     def __repr__(self):
         return 'Universe'
 
-    def _repr_latex_(self):
-        return '$$\\Omega$$'
-
 Universe = UniverseType()