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_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_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])