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

Re: Discussion period started Re: Proposal of Motion 6, version 3

Hi,
  I think  motion 6  will give a solid foundation of the standard

a few comments
in Definition 3.5.5 an interval function is a mapping from IR^n -> IR^m
Further down an interval extension is declared for arbitrary subsets of R^n. Is this intentionally so. I think it is enogh if the containment condition holds for all intervals ss 

The  assertion of the motion is independent from the existence of NaI
(that is already stated in the motion text.) So I think one of the next steps should be a motion, if we want NaI or not. 

there is a typo in the 2nd last paragraph
754 does not support ...

Juergen


R. Baker Kearfott schrieb:

IEEE P1788 members:

I have just received (privately) a second from Dan Zuras for
this revised motion.  With this, I declare the three week
discussion period open.  Discussion will continue through Tuesday,
August 4, 2009, unless the motion is withdrawn.  The voting
period will begin after that.

Mr. Secretary (William): Please record this in the minutes.

Mr. Webmaster (Juergen): Please obtain the relevant paper number
    from our archivist (Guillaume) and place the revised motion
    appropriately in our web area.

Members:  I remind you that the motions, supporting material,
    and history of working group transactions can be found at

    http://grouper.ieee.org/groups/1788/

    Please contact me if you need a password for the private
    area.

Best regards,

Ralph Baker Kearfott
(vice chair, IEEE P1788 working group)

John Pryce wrote:

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




--
=======
      o          Prof. Dr. J. Wolff v. Gudenberg,  Informatik 2
     / \         Univ. Wuerzburg,  Am Hubland,   D-97074 Wuerzburg
 info2 o        Tel.: +49 931 / 31-86602  Fax: +49 931 / 888-6603
   / \  Uni             e-mail: wolff@xxxxxxxxxxxxxxxxxxxxxxxxxxx
  o   o Wuerzburg         http://www2.informatik.uni-wuerzburg.de/