Thread Links Date Links
Thread Prev Thread Next Thread Index Date Prev Date Next Date Index

RE: Promotion of bare decorations & comparisons



John Pryce wrote:
> > A decorated interval yy_dy shall always be such that yy \supseteq
Rge(f|x) and
> p_dy(f,x) holds -- informally, it must tell the truth about
> some conceivable evaluation of a function over a box.
> 
> 
> I think it is definitely *not* the case for your system.

???

Please demonstrate why you think this.
If you can provide some specific examples, that would be helpful.

Nate