Marcin Dalecki wrote:
On 2006-12-21, at 23:17, Robert Dewar wrote:
Marcin Dalecki:
Well actually it wouldn't "save the world". However adding an
op-code implementing: x eqeps y <=> |x - y| < epsilion, would be
indeed helpful.
Maybe some m-f has already patented it, and that's the reason we
don't see it
already done. But that's of course only me speculating.
There would be nothing wrong in having such an operation, but
it is not equality!
Of course I didn't think about a substitute for ==. Not! However I think
that checks for |x-y| < epsilion, could be really given a significant
speed edge
if done in a single go in hardware.
I don't see this as viable, the choice of epsilon is too application
dependent.
