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