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

Motion 57 and decoratedEqual



The decoratedEqual operation has been introduced in Motion 57.

I wonder whether this operation would be useful in practice: Is there
any application that would need this operation, i.e. need to detect
whether both the interval parts and the decoration parts are equal
except for NaI?

Note that if you want to check whether two results are the same (e.g.
computed by different, but equivalent algorithms), you would need a
true result on (NaI,NaI), contrary to what decoratedEqual gives.

If there isn't any practical use, I don't think it should be kept in
the standard.

-- 
Vincent Lefèvre <vincent@xxxxxxxxxx> - Web: <http://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <http://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)