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

Re: P1788: Motion 45 PASSES



P1788

According to our procedures, NO votes on actual standard text constitute a motion to amend. I believe two such motions arise from Motion 45:
(a) on the status of Complete Arithmetic;
(b) on the sign of an exact zero result, and related matters.

The intent of the motion for (a) is quite clear. I propose this wording for it:
======
Motion
======
In last sentence of the text for Reduction Operations as approved by Motion 45, namely

> It is recommended that these operations be based on an implementation of Complete Arithmetic as specified in §13.7.

the word "recommended" should be changed to "required".
======

If anyone is unhappy with this wording, please say so. Otherwise, I will submit (on behalf of the Committee) it in a few days time.

I hope to treat (b), which arises from points made by Michel Hack and Vincent Lefevre, as a friendly amendment, as soon as one or two outstanding disagreements are ironed out.

John Pryce