From 22d69753489bdafa3401e54be79b58d9e94225a3 Mon Sep 17 00:00:00 2001 From: Vivien Maisonneuve Date: Wed, 16 Jul 2014 16:17:38 +0200 Subject: [PATCH 1/1] Use displaystyle in _repr_latex_ --- pypol/domains.py | 4 ++-- pypol/linexprs.py | 12 ++++++------ pypol/polyhedra.py | 6 +++--- 3 files changed, 11 insertions(+), 11 deletions(-) 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): diff --git a/pypol/linexprs.py b/pypol/linexprs.py index c5f4336..4fa8ed1 100644 --- a/pypol/linexprs.py +++ b/pypol/linexprs.py @@ -278,7 +278,7 @@ class Expression: string += ' + {}'.format(constant._repr_latex_().strip('$')) elif constant < 0: string += ' - {}'.format((-constant)._repr_latex_().strip('$')) - return '${}$'.format(string) + return '$${}$$'.format(string) def _parenstr(self, always=False): string = str(self) @@ -359,7 +359,7 @@ class Symbol(Expression): return self.name def _repr_latex_(self): - return '${}$'.format(self.name) + return '$${}$$'.format(self.name) @classmethod def fromsympy(cls, expr): @@ -401,7 +401,7 @@ class Dummy(Symbol): return '_{}'.format(self.name) def _repr_latex_(self): - return '${}_{{{}}}$'.format(self.name, self._index) + return '$${}_{{{}}}$$'.format(self.name, self._index) def symbols(names): @@ -441,12 +441,12 @@ class Rational(Expression, Fraction): def _repr_latex_(self): if self.denominator == 1: - return '${}$'.format(self.numerator) + return '$${}$$'.format(self.numerator) elif self.numerator < 0: - return '$-\\frac{{{}}}{{{}}}$'.format(-self.numerator, + return '$$-\\frac{{{}}}{{{}}}$$'.format(-self.numerator, self.denominator) else: - return '$\\frac{{{}}}{{{}}}$'.format(self.numerator, + return '$$\\frac{{{}}}{{{}}}$$'.format(self.numerator, self.denominator) @classmethod diff --git a/pypol/polyhedra.py b/pypol/polyhedra.py index aabe0fd..7202bec 100644 --- a/pypol/polyhedra.py +++ b/pypol/polyhedra.py @@ -201,16 +201,16 @@ class Polyhedron(Domain): def _repr_latex_(self): if self.isempty(): - return '$\\emptyset$' + return '$$\\emptyset$$' elif self.isuniverse(): - return '$\\Omega$' + return '$$\\Omega$$' else: 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)) + return '$${}$$'.format(' \\wedge '.join(strings)) @classmethod def fromsympy(cls, expr): -- 2.20.1