Re: Guillaume's alternative definition(s) of "com"
On 2013-02-19 18:16:51 +0100, Guillaume Melquiond wrote:
> Also, since dac is sufficient for my purpose, I wonder what use people
> have for com. The mathematical meaning is kind of useless, since dac
> encompasses it, as you explained. So it seems like the only purpose is
> to actually know when a computation will give the same results
> irrespective of the flavor.
Note that the com decoration alone isn't enough, as the flavor
implementations may be different concerning the accuracy: one
also needs reproducibility behavior.
> But what is the practical use case for that?
I'm also wondering...
--
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)