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)
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):
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)
return self.name
def _repr_latex_(self):
- return '${}$'.format(self.name)
+ return '$${}$$'.format(self.name)
@classmethod
def fromsympy(cls, expr):
return '_{}'.format(self.name)
def _repr_latex_(self):
- return '${}_{{{}}}$'.format(self.name, self._index)
+ return '$${}_{{{}}}$$'.format(self.name, self._index)
def symbols(names):
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
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):