[IEEE P1788] P1788/M0006.04_Level_2_Multi-format NO

[Dominique Lohez <dominique.lohez@xxxxxxx>]

My vote is NO

Dominique LOHEZ

I would vote YES if the following changes were done

       1) The subsection 3.5.2 is removed
        2)  In subsection   3.5.4    the statement
                            1. Here, f is a mapping, not an expression.
              should be completed by explaining what is an expression 
and why the difference  is important   in interval arithmetic.

        3) In subsection 3.6.1 the  reference   to R* should be avoided.
             This can be achieved by  considering a lattice with a  
finite number of elements and a linear order relation.
              Such a lattice has a minimum which can be labeled  -Infinity
               Such a lattice has a maximum which can be labeled  +Infinity
                the other elements  are an embedment  of the 
appropriate finite subset of R
                 
Rationale
    1) Since the author's intent of is that  the text is  used as it in 
the standard. All the wordings and statements  must be checked carefully.
    2) Concerning the change 1
               -Either the decision has been taken when the Motion  was 
approved. And the meaning should have been explained as an annex of this 
motion.
                 ( It is my own opinion)

                - Either  there a new  choice concerning  (-Infinity , 
- Infnity)  ...   and this choice should not be dealt  as a side effect 
of a motion devoted to 
                   a completely different subject.
   3) The standard must be readable to new comers in  Interval 
arithmetic (Change 2)
   4) I cannot prevent myself from thinking  when I encounter a 
reference to R* to a surreptitious  come back  of  what was rejected in 
Motion 3 .
        And a simple alternative is available here.

           -- 
Dr Dominique LOHEZ
ISEN
41, Bd Vauban
F59046 LILLE
France

Phone : +33 (0)3 20 30 40 71
Email: Dominique.Lohez@xxxxxxx