I think one can make a stronger statement, which is that IEEE 754 interrupts are not needed for IEEE 754 arithmetic, as indicated above.  

The IEEE-754 value with maximum exponent and zero mantissa denoted as IEEE-754 infinity is not a number.

LIST=STDS-754 >, < mailto:LISTSERV@LISTSERV.IEEE.ORG?

, Michel Hack Re: Motion 4: P1788 on non-754?

Page vii, line 45, need a reference to the system of Rump Page ix, line 27, "IEEE 754" should be either "IEEE 754-1985" or "IEEE 754-2008" (or "IEEE 754-1985 and 754-2008").

The 754 data type is featured as an option, but where do you see IEEE 754 exceptions are used?

LIST=STDS-754 >, < mailto:LISTSERV@LISTSERV.IEEE.ORG?

The 754 data type is featured as an option, but where do you see IEEE 754 exceptions are used?

The main disadvantage would be incompatibility with 754, I don't see this as a real disadvantage if both versions are provided by the hardware. > but 754 users could benefit from it too so maybe it might become > part of a future 754-201x?

The reason I believe operations returning an IEEE 754 result should properly signal IEEE 754 exceptions is that while those are defined in the 1788 standard they are effectively extensions to 754 and have been described in this committee as things missing from 754, so they should obey 754 rules.  

A 754 format must have the following additional requirements: to: The notion of a 754-conforming implementation has been introduced in Motion 6.04.

Use of the 754 data format and 754 directed rounding does not mean all aspects of 754 must be adopted in an interval arithmetic standard, and indeed they are not.

We will almost certainly not use all the specifications >> of 754 to specify 1788.

Note that IEEE 754 doesn't even require that math functions from [IEEE 754 §9] be correctly rounded.

Note that IEEE 754 doesn't even require that math functions from [IEEE 754 §9] be correctly rounded.

Let F be a supported 754 format.

A hardware processor (e.g. the Cell processor) may not be 754-conforming in itself, but a 754-conforming system may be built on top of it with software assistance.]

In the first 9 lines it 3 times refers to IEEE 754 by 754 conforming, 754 format, 754-conforming type. 12.13.4 even is restricted to 754-conforming types .

IEEE 754 did not reject this requirement.

Maclaren Date: Wed, 20 Oct 2010 09:40:54 -0400 (EDT) Re: The history of the word 'format' in 754...

If 754-conforming, it shall provide the inf-sup type, see 12.5.2, of at least one of the five basic formats in 3.3 of IEEE Std 754-2008.

Email Archive Email Archive Thread Index (Page 114 of 364) Date Index First Page Prev Page Next Page Last Page Re: Sun's interval library , (continued) Mon, 1 Jul 2013 09:29:04 -0400 (EDT) Re: Sun's interval library , Ralph Baker Kearfott Re: Sun's interval library , Michel Hack Re: Accuracy of 754-compliant recommended functions , Ralph Baker Kearfott Re: Accuracy of 754-compliant recommended functions , Vincent Lefevre Re: Accuracy of 754-compliant recommended functions , Ralph Baker Kearfott Re: Accuracy of 754-compliant recommended functions , John Pryce Re: Accuracy of 754-compliant recommended functions , Ralph Baker Kearfott Re: Accuracy of 754-compliant recommended functions , Vincent Lefevre Re: Accuracy of 754-compliant recommended functions , Michel Hack Re: Accuracy of 754-compliant recommended functions , Vincent Lefevre Re: Sun's interval library , Vincent Lefevre Re: Sun's interval library , Michel Hack Re: Sun's interval library , Ralph Baker Kearfott Re: text2interval again / , Vincent Lefevre Re: text2interval again / , Ian McIntosh Apologies for absence from discussion , John Pryce Wed, 27 Feb 2013 15:04:12 -0500 (EST) FW: IFSA-NAFIPS 2013 deadline extended , Kreinovich, Vladik Tue, 26 Feb 2013 11:03:03 -0500 (EST) dependent and independent intervals, proposal to toss out text2interval.

(This is why stds-754 is CCed.)

LIST=STDS-754 >, < mailto:LISTSERV@LISTSERV.IEEE.ORG?

body=INFO%20STDS-754 > List-owner : < mailto:STDS-754-request@LISTSERV.IEEE.ORG > List-subscribe : < mailto:STDS-754-subscribe-request@LISTSERV.IEEE.ORG > List-unsubscribe : < mailto:STDS-754-unsubscribe-request@LISTSERV.IEEE.ORG > Sender : stds-754@xxxxxxxx It's time to register to attend ARITH-20 in Tübingen, Germany.