It would be nice if we could have variables take an interval as an input
argument, to replace or augment the current system of "is_something" flags.
Say,
>>> x = Symbol('x', domain=Interval(0, oo))
>>> x.is_positive
True
>>> x.is_real
True
>>> x.is_bounded
False
The variable x would carry arou
It seems to me that the assumption system is a better place to put all
this. I may be wrong but I was left with the impression that it is
meant to replace all the is_something stuff.
On 18 February 2012 07:37, Nathan Alison wrote:
> It would be nice if we could have variables take an interval as
Interval arithmetic seems to be more powerful than either of the current
assumptions systems in the case of real variables. I've heard people
mention this topic on the listhost before. Is there any past
attempt/knowledge on this subject?
On Sat, Feb 18, 2012 at 9:51 AM, krastanov.ste...@gmail.com
My hopes are that the new assumptions will be able to handle interval
arithmetic, or actually any kind of set arithmetic. Trying to get the
old assumptions to do it would be unfruitful and a waste of time,
since the design doesn't really allow for it at all.
My vision is that we should be able to