It looks like this was a bug, which was fixed since the last release. I bisected it to
commit 9c359bc9358fe6318db1352516557b4702c9ce85 Author: Julien Rioux <[email protected]> Date: Tue Jan 29 18:36:30 2013 +0100 Implement is_bounded, is_finite, is_zero for Float(). Float always returns a Float, with the exception of Float('fnan') which returns S.NaN. This is in contrast to e.g. Rational, which returns instances of S.Zero, S.Infinity, and so on, given the args. Thus we can have a zero float or a infinite float. This should be reflected when we check the assumptions on these objects. Fixes issue 2486. Aaron Meurer On Wed, Apr 3, 2013 at 11:44 PM, Chris Smith <[email protected]> wrote: > Make sure sympy is up to date. I get (with the development version): > >>>> (l<=0) > l <= 0 >>>> _.subs(l,oo) > False >>>> (l<=0).subs({l:oo}) > False > > If it is current, check your value of `l` -- maybe it is -1 or something. > There are some IOs that are missing and I'm not sure what may have happened > in them. > > -- > 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?hl=en-US. > For more options, visit https://groups.google.com/groups/opt_out. > > -- 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?hl=en-US. For more options, visit https://groups.google.com/groups/opt_out.
