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

Motion 31: V04.2 Revision of proposed Level 1 text -- discussion period



P-1788,

John has now incorporated numerous friendly amendments into
the draft level 1 standard text.  Before it goes to a vote, let
us look at it a bit more, for possible additional corrections or
other problems.  I will not call for a vote before February 8, but
I will otherwise call for a vote when John so requests.

Juergen:  Please post the revision on the web site.

Best regards to all,

Baker

On 01/25/2012 06:00 AM, John Pryce wrote:
Baker and P1788

I send herewith a revised draft of the proposed Level 1 text, less decorations, that I originally circulated on 5 Dec 2011.

The main changes from the previous draft are listed in the front-matter on page 3.

Changes to existing text are minor.

Additions to the Required and Recommended operations are quite substantial:
- *Functions* I'd forgotten we'd decided on, such as comparisons and inner add/subtract.
- *Constants*: a new bit on the need for denotations of point and interval constants.

There are some new Definitions to support this.

Please read with care, and comment.

Baker, I feel this needs a new discussion period, but maybe shorter than the standard 3 weeks?

Regards

John Pryce