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

Re: IEEE Standard 1788-2015

On 2015-09-27 10:50:10 +0300, Svetoslav Markov wrote:
> In the standard there are interval operations that
> allow you to obtain x-x=0, these are the cancel plus/minus
> operations. However, the cancel +/-  are not "operations" in the
> sense of algebra.

so that replacing x-y by the cancel minus form to get x-x=0 would be
incorrect (let's make this clear).

The dependency problem is mainly a language issue, because the notion
of "same source" can only be considered at this level initially. IMHO,
the easiest way to formalize this would be from the computation DAG,
but such information is not available at the IEEE 1788 level.

> I would suggest that the cancel plus/minus "operations" are included
> in the basic standard.

I wonder whether they would be useful for the basic standard, at least
not to solve the dependency problem.

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