Thanks. subs should probably expand fully any expression for which a symbol
is being replaced with an AccumBounds as in `expr.subs(x, AccumBound(a,b))`
so something like `x*(1 + x)` would be handled as `x + x**2`.
On Saturday, July 20, 2019 at 5:46:13 AM UTC-5, Oscar wrote:
>
> I guess this is
I guess this is the dependency problem in interval arithmetic:
https://en.wikipedia.org/wiki/Interval_arithmetic#Dependency_problem
(Note that x**2+x is the example used there)
The issue is that we have to know the identity of the intervals. For
example if x and y are distinct intervals both
Which result is correct? The second is a refactoring of the first:
>>> AccumBounds(-1, 1) + AccumBounds(-1, 1)**2
AccumBounds(-1, 2)
>>> AccumBounds(-1, 1)*(1 + AccumBounds(-1, 1))
AccumBounds(-2, 2)
--
You received this message because you are subscribed to the Google Groups