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

[John Pryce <j.d.pryce@xxxxxxxxxxxx>]

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

Attachment: 20120125RevisedLevel1textV4Sent.pdf
Description: Adobe PDF document