| Thread Links | Date Links | ||||
|---|---|---|---|---|---|
| Thread Prev | Thread Next | Thread Index | Date Prev | Date Next | Date Index |
P-1788:
Since Motion 31 has been made by John Pryce and
seconded by Dan Zuras, the discussion period now
begins, and will end after Tuesday, January 6 2012.
I append the motion, and attach the corresponding text.
Discussion on this motion will proceed according to the rules for
position papers.
Juergen: Please place the motion and associated information
in the appropriate place on the web page, as
you have aptly done in the past.
Acting secretary: Please record the transaction in the minutes.
As usual, please contact me if you need the password to the private
area of the P-1788 web site.
Best regards,
Baker (acting as chair, P-1788)
---------------------------------------------------------------
P1788 members
I circulate herewith a draft text, and submit a motion that it be accepted
as text of the standard.
Content of the text
===================
Basically you will be voting on part of the Level 1 text -- a substantial
part, almost everything except decorations. (See also the preamble on page 3.)
What's out
----------
Discussion of decorations has at present reached an impasse, with two sides,
each of whom considers the other's decoration model to be logically faulty.
I am confident the final P1788 document will contain decorations, but they
are removed from the current text.
What's in besides Level 1 stuff
-------------------------------
Clause 3, "Notation, abbreviations, definitions" is included. This will be a
vital part of the final document. Christian Keil has done a lot of work on
the Definitions and we believe they are now reasonably complete, and
consistent with each other and the text. Only those definitions relevant to
Level 1 are included in the current text.
Most of clause 4, "Structure of the standard in levels", is included. This
aims to summarize the properties of entities at each level, what issues each
level addresses, and the mappings that relate different levels to each other.
It has been hardened up since I last sent round a draft. I regard it as a
key statement of strategy for the standard, so please look for errors and
contentious points. For instance, I've said explicitly that the standard
makes no Level 4 requirements; in fact I've rather assumed that my Motion 29
will pass.
Omitted from clause 4 is the "Conformance requirements" subclause, which
aims to summarize what an implementation must do to be conforming. This is
bound to change, so we could not vote to accept it now.
About the Level 1 stuff that's in
---------------------------------
Much of the content is basic interval concepts and definitions: we can't
change it significantly without changing the basic mathematical structure
we've voted to accept.
Another large part is contingent, that is we could change it without
changing basic concepts. Mainly, that comprises the lists of required and
recommended operations.
A small part is marked as provisional, not to be voted on: it includes
constructors for instance. Oh, and interval comparisons, I think we still
haven't a decision on them?
I hope the *basic* stuff is uncontroversial.
I welcome proposals to change items of *contingent* stuff such as:
(a) Move an operation from Required to Recommended or vice versa.
(b) Remove a Required or Recommended operation.
(c) Add a new Required or Recommended operation.
(d) Change the specification of an operation.
If it seems appropriate to take such a change as a Friendly Amendment I
shall do so, otherwise it shall become an Amendment, to be voted on
according to our procedures.
I should say George Corliss has expressed doubts about some operations -- in
particular the *whole* Recommended list -- which he will no doubt circulate
during the discussion period.
I hope the *provisional* stuff will induce discussion, and separate motions
to decide the relevant issues.
A _first draft_ of the Level 2 text is nearing completion, and will be
circulated for discussion soon.
Best wishes
John Pryce and Christian Keil
---------------------------------------------------------------
--
---------------------------------------------------------------
R. Baker Kearfott, rbk@xxxxxxxxxxxxx (337) 482-5346 (fax)
(337) 482-5270 (work) (337) 993-1827 (home)
URL: http://interval.louisiana.edu/kearfott.html
Department of Mathematics, University of Louisiana at Lafayette
(Room 217 Maxim D. Doucet Hall, 1403 Johnston Street)
Box 4-1010, Lafayette, LA 70504-1010, USA
---------------------------------------------------------------
Attachment:
20111205ProposedLevel1textV4Sent.pdf
Description: Adobe PDF document