I'm sorry I was not clear in my original note, since several people
seem to think I was objecting to [-1,1] - [-1,1] simplifying to [-2,2].
This is universally agreed to be correct in the "reliable computing"
community, for the reason given by Johan, and I certainly
agree with it.
What is likely to be a bug, in my view, is the treatment of
Interval[{a,b}]-Interval[{a,b}] , and I was just wondering if
anyone could defend simplifying it to 0 as a feature.
The closest I got was a suggestion that "this is not the right tool".
One correct answer might be to leave it alone. or maybe
after ascertaining that a,b are real and a<=b , the interval [-2*a,2*b].
The answer 0 not only is wrong, but apparently leads to bugs
in Limit computations, where Interval notation is used /abused.
"Johan Grönqvist" <johan.gronqvist at gmail.com> wrote in message
news:e514do$96v$1 at smc.vnet.net...
.... snipped... explanation of [-1,1]-[-1,1]=[-2,2]