Use displaystyle in _repr_latex_

diff --git a/pypol/domains.py b/pypol/domains.py
index 28ce533..5db1856 100644 (file)
--- 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 (file)
--- 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 (file)
--- 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):