X-Git-Url: https://scm.cri.mines-paristech.fr/git/linpy.git/blobdiff_plain/6a8f0d937524e9210b3283f8331ccaf6ce3caaa3..5b661514c1bbabd8205fdbd22a0ba0f6b1ac6305:/pypol/domains.py?ds=inline diff --git a/pypol/domains.py b/pypol/domains.py index d80fd91..10d12c5 100644 --- a/pypol/domains.py +++ b/pypol/domains.py @@ -438,6 +438,12 @@ class Domain(GeometricObject): strings = [repr(polyhedron) for polyhedron in self.polyhedra] return 'Or({})'.format(', '.join(strings)) + def _repr_latex_(self): + strings = [] + for polyhedron in self.polyhedra: + strings.append('({})'.format(polyhedron._repr_latex_().strip('$'))) + return '${}$'.format(' \\vee '.join(strings)) + @classmethod def fromsympy(cls, expr): import sympy