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

Re: discussion period begins for Motion P1788.1/M002.01: Required operations



-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Dear all,

IEEE Std 1788-2015 states on Page x that the Basic Standard for
Interval Arithmetic (aka P1788.1, if I am not mistaken) is supposed to
be a subset of the set-based flavor with enough restrictions to make
it "more accessible and speed up production of implementations".

I firmly believe that, in its current state, P1788.1 has gone too far
in its restrictions, and that functions of great practical relevance
should not have been omitted from it (specifically, at least all
reverse functions from Table 10.1 and mulRevToPair()).

More broadly, I believe that P1788.1 should be a complete restriction
of IEEE Std 1788-2015 to the set-based flavor with IEEE 754 double
precision bounds. I would accept omitting all/most recommended
functions, but all required functions for the set-based flavor should
be present.

In its current state, a library that would restrict itself to
implementing P1788.1 would be of no use to me, as it would offer less
core functionalities than I can obtain from current non-standard
compliant libraries.

Best regards,

FG.
- -- 
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 PGP SIGNATURE-----
Version: GnuPG v2.0.22 (GNU/Linux)

iQEcBAEBAgAGBQJWHm+rAAoJEIyjRWvAvCeCEzgH/1xZ4qLK8ICGIr0+RSMUvUAk
gGfMNHfV7A8ugXIElIgWOKHq1KOnZPKnSgtoSPrfrGYGfhUkzAbV8MSTp4iKqMOZ
94/D2fttiWECl0k61hi43s+lZNg0nwhpxtXwi0ZaE+505zCwDK8JWAhguxt5JEZA
CDhg7BLANwpdL9VbDhN/m1emCCZHQep5YfhXMFgMKfgDlevMU8p7Y1ibr4Hl6+tY
9jT4V8CvA+zLJFQoU+YleyNhi2BosawSpwYramztz2J5CyPchSocmzDlSpzXnDdw
YcUokahj+NICGmNapTC2nZkX7QlCdEOItPmvOncyHMDv3yNIo/A6QcSeSKg3JBk=
=y+PO
-----END PGP SIGNATURE-----