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

Re: Normative text and implementation hints



Dima,
I agree that nearly the whole chapter 14 (level 3) is informative only, but I think it is important for the dissemination. Hence I propose to keep it inside, at least in the appendix. The updatable website may also be prepared additionally.

Jürgen

Am 20.10.2013 14:44, schrieb Dmitry Nadezhin:
Standard determines required and recommended features of
comformant implementation. This normative text is permanent and stable.

Currently the text of the standard contains also a lot of informative text
that can be considered as hints to implementation.
Its purpose is to help implementors. It describes our current knowledge
about suitable algorithms, known difficulties of implementation.
This knowledge is more dynamic. It will continue to grow after the text
of the standard is frozen.

I suggest to move hints to implementation from the standard text to
a Web site that will contain information for 1788 implementors.
This will
1) make standard shorter and easier to finish;
2) allow to continue accumulation of knowledge about implementations
    after the standard is frozen.

The Web site may also contain test suite, reference implementations,
fragments of useful code, information for formal verification
and other staff.

Possible portions of the draft to move are:
14.4. Type conversion.
14.6. Operation tables for basic interval operations.
14.7. Complete arithmetic, dot product function.
14.8. Care needed with cancelMinus and cancelPlus.
D.1. Local decorations of arithmetic operations
D.2. Examples of use of decorations
D.3. Implementation of compressed interval arithmetic

What is your opinion ?

   -Dima


--
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