Use displaystyle in _repr_latex_

diff --git a/pypol/domains.py b/pypol/domains.py
index 28ce5333bda4f32e506298aae6d6d7a9bac58470..5db185688e36aa9e9156bfa6b298998650d056ff 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:
                             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)
                 # 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('$')))
         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):
 
     @classmethod
     def fromsympy(cls, expr):

diff --git a/pypol/linexprs.py b/pypol/linexprs.py
index c5f4336c373c3be8c750c6cb65ba04de14d2f11c..4fa8ed1c132c9e08ff1da89753a11455f4f0e9f1 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('$'))
             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)
 
     def _parenstr(self, always=False):
         string = str(self)


@@ -359,7 +359,7 @@ class Symbol(Expression):
         return self.name
 
     def _repr_latex_(self):
         return self.name
 
     def _repr_latex_(self):

-        return '${}$'.format(self.name)
+        return '$${}$$'.format(self.name)

 
     @classmethod
     def fromsympy(cls, expr):
 
     @classmethod
     def fromsympy(cls, expr):


@@ -401,7 +401,7 @@ class Dummy(Symbol):
         return '_{}'.format(self.name)
 
     def _repr_latex_(self):
         return '_{}'.format(self.name)
 
     def _repr_latex_(self):

-        return '${}_{{{}}}$'.format(self.name, self._index)
+        return '$${}_{{{}}}$$'.format(self.name, self._index)

 
 
 def symbols(names):
 
 
 def symbols(names):


@@ -441,12 +441,12 @@ class Rational(Expression, Fraction):
 
     def _repr_latex_(self):
         if self.denominator == 1:
 
     def _repr_latex_(self):
         if self.denominator == 1:

-            return '${}$'.format(self.numerator)
+            return '$${}$$'.format(self.numerator)

         elif self.numerator < 0:
         elif self.numerator < 0:

-            return '$-\\frac{{{}}}{{{}}}$'.format(-self.numerator,
+            return '$$-\\frac{{{}}}{{{}}}$$'.format(-self.numerator,

                 self.denominator)
         else:
                 self.denominator)
         else:

-            return '$\\frac{{{}}}{{{}}}$'.format(self.numerator,
+            return '$$\\frac{{{}}}{{{}}}$$'.format(self.numerator,

                 self.denominator)
 
     @classmethod
                 self.denominator)
 
     @classmethod

diff --git a/pypol/polyhedra.py b/pypol/polyhedra.py
index aabe0fdbb98b551887e9d69e37e6f0c1616aae5a..7202bec3d8f1a3b8fced6c7d5b474a76524240b8 100644 (file)
--- a/pypol/polyhedra.py
+++ b/pypol/polyhedra.py
@@ -201,16 +201,16 @@ class Polyhedron(Domain):
 
     def _repr_latex_(self):
         if self.isempty():
 
     def _repr_latex_(self):
         if self.isempty():

-            return '$\\emptyset$'
+            return '$$\\emptyset$$'

         elif self.isuniverse():
         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('$')))
         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):
 
     @classmethod
     def fromsympy(cls, expr):