On 4/13/07, Richard Fateman <fateman at cs.berkeley.edu> wrote:
> Maybe we can promote
>
> RelativeErrorBound(a,b,eps):= if equal(a,b) then true else
> is(abs((a-b)/max(a,b))< eps);
> AbsoluteErrorBound(a,b,eps):= is (abs(a-b)<eps);
>
> Or some such constructions.
I dunno. The details of such constructs would depend pretty
strongly on what the user wants to achieve. Users who know
what they want can make such things on their own, and I doubt
that we can help the others. I'm inclined to steer away from
stuff like the above.
Robert