Re: Proposal of Motion 6, version 3
The main problem with this motion lies in the fact that it deals as as
single package
of two many questions
The general statements on the requirements of an implementation should
encounter a very wide agreement
In my opinion, despite the multiple references the discussion of
level 1 is not conformant to the motion 3.
In particular while +/- infinity are not number they are handled as numbers
This may be valid as rules of thumb, however the validity of these rules
must be established from the single known property of intervals
Connected closed sets
As such this part should be removed
The level 2 discussion should be considered in a separate motion.
Best wishes
Dominique LOHEZ
ohn Pryce a écrit :
P1788 members
Following discussion of the previous versions, and extensive revision,
I propose version 3 of Motion 6 on supporting multi-format interval
arithmetic. The Motion and Rationale are now typeset, and contained in
the attached document.
Chair: will you please formally announce the restarting of the
three-week discussion period?
For preparing the revised version, I acknowledge the help of Ulrich
Kulisch, Guillaume Melquiond, Arnold Neumaier, Juergen Wolff van
Gudenberg, Dan Zuras and others.
Best wishes
John Pryce
Note. The document uses the "hyperref" package, so cross-references
within it are "live".
--
Dr Dominique LOHEZ
ISEN
41, Bd Vauban
F59046 LILLE
France
Phone : +33 (0)3 20 30 40 71
Email: Dominique.Lohez@xxxxxxx