On Wed, Jul 24, 2013 at 11:39 AM, Aaron Meurer <[email protected]> wrote:
> To me, it's just an element of the cartesian product Note that not all domains will be Cartesian products. Consider the triangle 0 < x < 1 and 0 < y < 1 and x + y < 1 . > , which just contains tuples, so yeah, Contains((x, y), ProductSet(A, B)). This syntax passes the buck to sets. I think that this is reasonable. > Or you > could write x*y > 0. I guess what we also need are some functions to > convert back and forth from set notation to relational notation. > This already exists to a certain extent for some (but not all) sets. In [1]: Interval(0, 1).as_relational(x) Out[1]: 0 ≤ x ∧ x ≤ 1 -- You received this message because you are subscribed to the Google Groups "sympy" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/sympy. For more options, visit https://groups.google.com/groups/opt_out.
