Motion P1788/M007.01_NaI: Discussion period begins

[Ralph Baker Kearfott <rbk@xxxxxxxxxxxxx>]

P1788 members:

Since Motion 7 has been made by Juergen Wolff von Gudenberg and
seconded by Rudnei Cuhna, the discussion period now begins, and
will end after Wednesday, August 28.  I append Juergen's
motion and attachment.

Juergen:  Please place the motion in the appropriate place on
          the web page.

William:  Please record the transaction in the minutes.

Best regards,

Baker (vice chair, P-1788)

hi
   here I propose the next motion:

Motion 7: NaI}


P 1788 provides a unique NaI (Not an Interval)-datum for each
abstract interval format.
The datum indicates that the construction of an interval did not  produce an
$\mathbb{F}$ interval.
It propagates through all interval operations. If at least
one of the operands is NaI, so is the result. All comparisons with NaI are
evaluated to false, with one exception, the result of isNaI(NaI) is true.
  NaI,
however, is never returned by an operation on $\mathbb{F}$ intervals.

motion text and rationale appended

cheers Juergen
--
=======
       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/

Attachment: NaI.pdf
Description: application/download