Be careful using "not expr.is_assumption". This will give True both in the cases if the assumption is False *and* if it is None, but in the latter case it just means that the assumptions system could not make any determination about the query.
As discussed on IRC, is_bounded just means that it cannot be infinity. Aaron Meurer On Thu, Apr 5, 2012 at 2:16 PM, Sai Nikhil <[email protected]> wrote: > Hello, > > please tell me what the attribute .is_attribute does when applied > over a function. if its purpose is to know whether the function is bounded > or not, then it fails in this case. > > c = not sin(x).is_bounded returns true . > > also, sin(x).is_bounded returns nothing . > > > c = not (x**16).is_bounded returns true . > > also, (x**16).is_bounded returns nothing . > > > c = not (1/(x**16+1)).is_bounded returns true . > > also, (1/(x**16+1)).is_bounded returns nothing . > > > > -thanks, > Sai Nikhil .T > > > > 1 > > -- > 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. -- 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.
