P1788.1 Motion 002.01 Required operations PASSES
P1788.1
The voting period for motion M002.01 concluded on Tuesday, November 24, 2015. Nathalie’s call to vote appears below.
Final tally: YES - 39; NO - 6; Required for quorum - 35
A digest of NO votes appears below, following the notice to vote.
Thank you.
George Corliss
P1788.1 Voting Tabulator
> Begin forwarded message:
>
> ----- Original Message -----
> From: Nathalie.Revol@xxxxxxxxxxx
> To: stds-1788@xxxxxxxx
> Cc: epopova@xxxxxxxxxx, rbk5287@xxxxxxxxxxxxx, dmitry.nadezhin@xxxxxxxxxx, Nathalie.Revol@xxxxxxxxxxx
> Sent: Wednesday, November 4, 2015 12:59:33 AM GMT +03:00 Iraq
> Subject: Re: discussion period begins for Motion P1788.1/M002.01: Required operations
>
> Dear Colleagues
>
> voting period for motion M002.01: “Required operations” begins.
> Voting will continue until after Tuesday, November 24, 2015.
>
> Best regards
> Nathalie
Begin forwarded message:
From: Frédéric Goualard <Frederic.Goualard@xxxxxxxxxxxxxx>
Date: November 4, 2015 at 12:33:45 AM CST
To: <stds-1788@xxxxxxxxxxxxxxxxx>
Subject: Motion P1788.1/M002.01: Required operations - NO
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Dear all,
I vote NO to Motion P1788.1/M002.01: Required Operations.
I would change my vote if the motion was altered to include reverse
elementary operations and two-output division, which are required
operations in the IEEE Std 1788-2015 set-based flavor, of which
P1788.1 is supposed to be a subset restricted to most commonly used
operations.
Best regards,
F.
- --
Frédéric Goualard LINA - UMR CNRS 6241
Tel.: +33 2 76 64 50 12 Univ. of Nantes - Ecole des Mines de Nantes
2, rue de la Houssinière - BP 92208
http://frederic.goualard.net/ F-44322 NANTES CEDEX 3
Begin forwarded message:
From: Ulrich Kulisch <ulrich.kulisch@xxxxxxx>
Date: November 8, 2015 at 1:36:50 AM CST
To: stds-1788 <stds-1788@xxxxxxxxxxxxxxxxx>
Subject: Motion P1788.1/M002.01: Required operations
My vote is NO.
I would vote YES if in Table 4.1 under Basic operations after fma(x,y,z) the dot product of two vectors woulld be added.
In Numerical and Interval Analysis the dot product is ubiquitous. It appears in matrix and matrix-vector multiplication. It is the key operation of defect correction or iteratve refinement methods as well as of fast long real and long interval arithmetic.
The dot product brings high speed and accuracy to Numerical and Interval Analysis. By pipelining it can be computed in the time the processor needs to read the data, i.e., it is computed at extreme speed. No other method accumulating products or numbers can be faster. It is computed by fixed-point accumulation of the summands (products) into a small local register memory on the arithmetic unit.
A VLSI implementation at Karlsruhe in 1993 computed the exact dot product in 1/4 of the time the Intel processor needed for computing a possibly wrong result in conventional floating-point arithmetic. A corresponding implementation at Berkeley in 2015 even reaches a speed increase by a factor of 6. High speed and accuracy are essential for acceptance and success of interval methods.
For more details on the implementation see Chapter 1 in the book [1] or Chapter 8 in the book [2]. For applications see Chapter 9 in [2] and/or the Toolbox Volumes of the XSC-Languages [3, 4, 5].
[1] U. Kulisch, Advanced Arithmetic for the Digital Computer -- Design of Arithmetic Units. Springer ISBN 3-211-83870-8, 2002. See Chapter 1, in particular.
[2]. U. Kulisch, Computer Arithmetic and Validity – Theory, Implementation, and Applications, de Gruyter, Berlin, 2008, ISBN 978-3-11-020318-9, second edition 2013, ISBN 978-3-11-030173-1. See Chapter 8, in particular.
[3] IBM, ACRITH–XSC: IBM High Accuracy Arithmetic – Extended Scientific Computation.
Version 1, Release 1, IBM Deutschland GmbH (Department 3282, Schoenaicher
Strasse 220, D-71032 Boeblingen), 1990.
1. General Information, GC33-6461-01.
2. Reference, SC33-6462-00.
3. Sample Programs, SC33-6463-00.
4. How To Use, SC33-6464-00.
5. Syntax Diagrams, SC33-6466-00.
[4] R. Hammer, M. Hocks, U. Kulisch and D. Ratz, Pascal-XSC Toolbox for Verified Computing
I: Basic Numerical Problems, Springer, Berlin Heidelberg New York, 1993.
[5] R. Hammer, M. Hocks, U. Kulisch and D. Ratz, C++ Toolbox for Verified Computing:
Basic Numerical Problems. Springer, Berlin Heidelberg New York, 1995.
Updated versions of [4] and [5] are freely available via: http://www.math.uni-wuppertal.de/˜xsc/ or http://www.xsc.de/.
--
Karlsruher Institut für Technologie (KIT)
Institut für Angewandte und Numerische Mathematik
D-76128 Karlsruhe, Germany
Prof. Ulrich Kulisch
KIT Distinguished Senior Fellow
Begin forwarded message:
From: Małgorzata Jankowska <malgorzata.jankowska@xxxxxxxxxxxxx>
Date: November 18, 2015 at 8:46:39 AM CST
To: stds-1788 <stds-1788@xxxxxxxxxxxxxxxxx>
Subject: Motion P1788.1/M002.01: Required operations
Dear Sirs.
I agree with Motion P1788.1/M002.01.
Nevertheless, I considered the arguments given by prof. Ulrich Kulisch once again.
I find his remark about the dot product essential.
Hence, only because of this point I vote NO.
With kind regards
Malgorzata Jankowska
Begin forwarded message:
From: "G. William (Bill) Walster" <bill@xxxxxxxxxxx>
Date: November 22, 2015 at 4:01:34 PM CST
To: "Corliss, George" <george.corliss@xxxxxxxxxxxxx>
Subject: Re: P1788.1/M002.01: Required operations - PLEASE VOTE
Hi George,
If I vote NO it will only help achieve a quorum. So, I respectfully decline to vote.
Cheers,
Bill
> Begin forwarded message:
>
> From: Guillaume Melquiond <guillaume.melquiond@xxxxxxxx>
> Date: November 23, 2015 at 10:15:09 AM CST
> To: stds-1788 <stds-1788@xxxxxxxxxxxxxxxxx>
> Subject: P1788.1/M002.01: NO
>
> I vote NO on M002.01.
>
> I was not quite sure what to vote at first, but Frederic and Oliver have
> been rather convincing. In other words, we should either keep 1788.1
> minimal or we should add some more useful functions first.
> Implementation simplicity feels like a weak reason for requiring a given
> function.
>
> Best regards,
>
> Guillaume