Le dimanche 01 mai 2011 à 11:37 -0400, Haz a écrit : > The idea is to write '~Q.real(x)' instead of 'Assume(x, > Q.real, False)'. > It's shorter, easier to understand and doesn't suggest wrongly > that > creating the object does anything beyond that. > > > Only issue with this is that we'll need to start handling (in the > assumption context), arbitrary boolean formulae: Q.positive(x) | > Q.negative(x) > Yes, but that's not hard to do. And in master, we already have:
In [1]: ask(x, Q.integer, Q.even(x) | Q.odd(x)) Out[1]: True -- You received this message because you are subscribed to the Google Groups "sympy" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/sympy?hl=en.
