On 1 Mai, 16:55, Ronan Lamy <[email protected]> wrote: > 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
In fact in master Assume(x, Q.positive, False) gets turned into Not(...) already (which upsets assumptions context btw). -- 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.
