Closed delta-v1 closed 2 years ago
At first glance, I think this is due to the fact that interval analysis methods typically do not consider the "connection" between the same variable appearing in two/more "independent" locations in the expression (here the import connection is the sign of the x and the sign of sin(x)).
Thanks Mark! That makes sense.
It's reasonable that pyinterval would over-estimate the range, which seems to be a well-known problem in interval arithmetic.
I am unable to compute the correct interval for
sin(x) * x
. I'm using the following code:The correct bound should be
[0, 0.2397]
, but pyinterval evaluates to[-0.2397, 0.2397]
. Is there something I am missing?