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):