X-Git-Url: https://scm.cri.ensmp.fr/git/linpy.git/blobdiff_plain/e2266a6ca10276d2af3065f9e140d994459b92f3..22d69753489bdafa3401e54be79b58d9e94225a3:/pypol/domains.py diff --git a/pypol/domains.py b/pypol/domains.py index 28ce533..5db1856 100644 --- a/pypol/domains.py +++ b/pypol/domains.py @@ -361,7 +361,7 @@ class Domain(GeometricObject): coordinate = -Fraction(constant, coefficient) coordinates.append((symbol, coordinate)) else: - + # horrible hack, find a cleaner solution string = islhelper.isl_multi_aff_to_str(expr) matches = self._RE_COORDINATE.finditer(string) @@ -521,7 +521,7 @@ class Domain(GeometricObject): strings = [] for polyhedron in self.polyhedra: strings.append('({})'.format(polyhedron._repr_latex_().strip('$'))) - return '${}$'.format(' \\vee '.join(strings)) + return '$${}$$'.format(' \\vee '.join(strings)) @classmethod def fromsympy(cls, expr):