def _print_Union(self, u):
union_delimiter = ' %s ' % pretty_atom('Union')
return self._print_seq(u.args,
None,
None,
union_delimiter,
parenthesize=lambda set: set.is_ProductSet)
def _print_Intersection(self, u):
delimiter = ' %s ' % pretty_atom('Intersection')
return self._print_seq(
u.args,
None,
None,
delimiter,
parenthesize=lambda set: set.is_ProductSet or set.is_Union)
def _print_Union(self, u):
other_sets, singletons = [], []
for set in u.args:
if isinstance(set, Interval) and set.measure == 0:
singletons.append(set.start)
else:
other_sets.append(set)
union_delimiter = ' %s ' % pretty_atom('Union')
s2 = self._print_seq(other_sets, None, None, union_delimiter)
if len(singletons) > 0:
s1 = self._print_seq(singletons, '{', '}')
s = prettyForm(*stringPict.next(s1, union_delimiter))
s = prettyForm(*stringPict.next(s, s2))
else:
s = s2
return s
def _print_Union(self, u):
other_sets, singletons = [], []
for set in u.args:
if isinstance(set, Interval) and set.measure == 0:
singletons.append(set.start)
else:
other_sets.append(set)
union_delimiter = ' %s ' % pretty_atom('Union')
s2 = self._print_seq(other_sets, None, None, union_delimiter)
if len(singletons) > 0:
s1 = self._print_seq(singletons, '{', '}')
s = prettyForm(*stringPict.next(s1, union_delimiter))
s = prettyForm(*stringPict.next(s, s2))
else:
s = s2
return s
def _print_exp(self, e):
base = prettyForm(pretty_atom('Exp1', 'e'))
return base ** self._print(e.args[0])
def _print_Atom(self, e):
try:
# print atoms like Exp1 or Pi
return prettyForm(pretty_atom(e.__class__.__name__))
except KeyError:
return self.emptyPrinter(e)
def _print_Union(self, u):
union_delimiter = ' %s ' % pretty_atom('Union')
return self._print_seq(u.args, None, None, union_delimiter,
parenthesize = lambda set:set.is_ProductSet)
def _print_exp(self, e):
base = prettyForm(pretty_atom('Exp1', 'e'))
return base**self._print(e.args[0])
def _print_Atom(self, e):
try:
# print atoms like Exp1 or Pi
return prettyForm(pretty_atom(e.__class__.__name__))
except KeyError:
return self.emptyPrinter(e)
def _print_ExpBase(self, e):
# TODO should exp_polar be printed differently?
# what about exp_polar(0), exp_polar(1)?
base = prettyForm(pretty_atom('Exp1', 'e'))
return base**self._print(e.args[0])
def _print_ExpBase(self, e):
# TODO should exp_polar be printed differently?
# what about exp_polar(0), exp_polar(1)?
base = prettyForm(pretty_atom('Exp1', 'e'))
return base ** self._print(e.args[0])
def _print_Intersection(self, u):
delimiter = ' %s ' % pretty_atom('Intersection')
return self._print_seq(u.args, None, None, delimiter,
parenthesize = lambda set:set.is_ProductSet or set.is_Union)
def _print_Atom(self, e):
try:
# print atoms like Exp1 or Pi
return prettyAtom(pretty_atom(e.__class__.__name__))
except KeyError:
pass
def _print_exp(self, e):
base = prettyForm(pretty_atom("Exp1", "e"))
return base ** self._print(e.args[0])
