Re: [P-1788]: Summary of our work plan (Items to be considered in the near future)
Baker,
that summary is very helpful. But are you really referring to version
7.1 from april 3 ??
I don't have a newer one but I'm sure there are some changes.
please find some further remarks below
Jürgen
Am 14.05.2013 15:27, schrieb Ralph Baker Kearfott:
P-1788:
We have been reviewing the standing document, assessing clauses
that have been done, clauses that need work, and clauses that are
essentially done but need ratification. (Pleased refer
to the standing document on http://grouper.ieee.org/groups/1788/.)
Here is a summary.
I. Clauses that are already ratified
A. We have already ratified 9.1 through 9.4.
Nevertheless I suggest to put a number at the formula defining the
natural interval extension in 9.4.3, since it is an essential formula
and should be referentiable
B. We are currently in the process of ratifying 9.6.8.
II. Clauses that are done, but need ratification
The following clauses are essentially in their final form, but
need final ratification. Please look over them and point
out any problems informally at this point. They should be
put up for formal discussion and a final vote in the near
future.
A. The introduction and Clauses 1 through 7, with the exception
of Clause 3 (the Conformance Clause, entrusted to
Christian Keil) have essentially been ratified, although
there have been some minor editorial modifications. We intend
to put these clauses up as a single block for a final vote,
soon. Please study it and feel free to post informal
(but concise, constructive, and focused) comments prior
to the formal process. (Extensive discussion, especially
that not relevant to editorial aspects, should not be
needed at this point.)
B. Clauses 8 10 are ready for a final vote. Please study
them.
C. Clause 9.5 has been changed, and needs re-ratification.
9.5 looks rather empty
D. Clauses 9.6 and 9.7 (with the exception of 9.6.8) are ready
for a final vote. Please study them.
III. Clauses subject to further modification prior to ratification
More editorial work is in order on these clauses prior to
the final vote:
A. Clause 3.
B. Clauses 11, 12, 13, and 14.
11.11.1 interval literals are language dependent syntactic sugar
14.5 division by b containing 0
add after (40) "if 0 in b then a/b is the union of 2 intervals" and
add here or further below "to enforce that / maps IRbar x IRbar to IRbar
take the hull (according to 9.4.3.(10))
C. The annexes and bibliography.
IV. Special clauses
* Chapter 3 (Kaucher intervals) has been entrusted to
Nate Hayes, as an additional flavor. This set of
clauses will be included provided Nate delivers the
chapter (as a result of deliberations of the subgroup
he was to assemble) in time for inclusion.
Best regards,
Baker
--
o Prof. Dr. Juergen Wolff von Gudenberg, Lehrstuhl fuer
Informatik II
/ \ Universitaet Wuerzburg, Am Hubland, D-97074 Wuerzburg
InfoII o Tel.: +49 931 / 31 86602
/ \ Uni E-Mail: wolff@xxxxxxxxxxxxxxxxxxxxxxxxxxx
o o Wuerzburg