Re: Motion P1788/0024.01: Rounding Mode as Operation -- discussion period begins
Double-checking the motion number:
Baker lists this as Motion 24.
Prof. Kulisch's document says "Motion 25."
I have a precursor dated 2010-10-05 for an earlier statement that would have become #24, but I have no indication that it progressed to become a motion.
Hence, I think Baker's number is correct and suggest that before any voting begins, the text of Prof. Kulisch's document be changed to "Motion 24" to avoid any confusion.
George Corliss
On Apr 17, 2011, at 1:45 AM, Ralph Baker Kearfott wrote:
> P-1788 members:
>
> Since Motion 24 has been made by Ulrich Kulisch and
> seconded by Chenyi Hu, the discussion period now begins, and
> will end after Sunday, May 8. I attach the motion.
>
> Discussion on this motion will proceed according to the rules for
> position papers.
>
> Juergen: Please place the motion and associated information
> in the appropriate place on the web page, as
> you have aptly done in the past.
>
> Acting secretary: Please record the transaction in the minutes.
>
> Best regards,
>
> Baker (acting as chair, P-1788)
>
> P.S. (personal opinion):
> This is an interesting motion. In particular, we have suffered in the
> past from requiring many clock cycles to change the rounding mode
> in current hardware, whereas this would not be so if the rounding
> mode were in the opcode. Specifying separate operations for
> each rounding mode may start hardware engineers thinking that way.
> I note that, although such a specification does not seem to fit
> centrally into an interval arithmetic standard, at least not at
> the top level, it is clearly relevant and closely tied to any
> such standard. Furthermore, it could be relevant to people (of
> which there are significant numbers, although not ubiquitous)
> who use directed rounding directly, without interval arithmetic.
>
> P.P.S. I am beginning to get nervous about our plan for the rest of
> our term, and hope good progress is made on the actual wording.
> I'll work with the officers soon (and in any case after our semester
> ends here in May) to both work out a schedule for a vote on
> portions of the standard and to identify issues that still need
> position votes. In the mean time, anyone who wishes to take the
> initiative on this is welcome. Also, anyone who knows of an
> issue which will need to be resolved with a position vote
> (and which hasn't yet been so resolved) is welcome to present it.
>
>
> On 4/15/2011 11:43, Ulrich Kulisch wrote:
>> Dear colleagues,
>>
>> As an attempt to eliminate the usual difficulties that occur if interval arithmetic is implemented using IEEE 754 floating-point arithmetic I prepared a motion on Rounded Floating-Point Arithmetic. The text is attached.
>>
>> Best withes
>> Ulrich
>>
>
>
> --
>
> ---------------------------------------------------------------
> Ralph Baker Kearfott, rbk@xxxxxxxxxxxxx (337) 482-5346 (fax)
> (337) 482-5270 (work) (337) 993-1827 (home)
> URL: http://interval.louisiana.edu/kearfott.html
> Department of Mathematics, University of Louisiana at Lafayette
> (Room 217 Maxim D. Doucet Hall, 1403 Johnston Street)
> Box 4-1010, Lafayette, LA 70504-1010, USA
> ---------------------------------------------------------------
> <RoundOper.pdf>
Dr. George F. Corliss
Electrical and Computer Engineering
Marquette University
P.O. Box 1881
1515 W. Wisconsin Ave
Milwaukee WI 53201-1881 USA
414-288-6599; GasDay: 288-4400; Fax 288-5579
George.Corliss@xxxxxxxxxxxxx
www.eng.mu.edu/corlissg