P1788.1: reminder of the scope and purpose of this working group
Dear Colleagues,
thank you for the discussions and votes that take place on this list.
To keep us on track, and even on the fast lane, may I remind you the
scope and purpose of this working group, as approved by IEEE?
Here they are.
IEEE 1788.1 is intended as a subset of the set-based flavour of IEEE
1788-2015, no other flavour is considered here: it is possible to define
a new flavour, corresponding to another mathematical model, but it has
to be done by a separate working group.
Also, recommended operations in IEEE 1788-2015 cannot become
mandatory in 1788.1.
Best regards
Nathalie
——
5.2 Scope: This standard specifies interval arithmetic (IA) operations based
on intervals whose endpoints are IEEE binary64 floating-point numbers and
a decoration system for exception-free computations and propagation of
properties of the computed results.
This standard is a subset of the (full) IEEE P1788 Standard for Interval Arithmetic
and includes those operations judged to be most commonly used. A program
built on top of an implementation of the basic standard should compile and run
using an implementation of the full standard, or any superset of the former.
5.4 Purpose: This standard aims to be minimalistic, compared to the full standard,
and to cover most of the functionality needed for interval computations. As such, the
basic standard is more accessible, will be much easier to implement, and will speed
up production of implementations.
5.5 Need for the Project: Implementing the full standard will be a major undertaking;
implementing the basic standard could be accomplished much more easily by building
for example on the well-established C++ interval packages PROFIL/BIAS or FILIB++,
as most of its features, except the decoration system, are already present to various
degrees in these packages. Having an implementation of the basic standard and
testing its concepts in practice, and in particular the decoration system, would create
a solid base on which to build an implementation of the full standard.
——
------------------------------------------------------------------------------------------------------------
Nathalie Revol INRIA Grenoble - Rhone Alpes
LIP - projet AriC tel: (33) 4 72 72 84 36
Ecole Normale Superieure de Lyon fax: (33) 4 72 72 80 80
69364 Lyon Cedex 07, France Nathalie.Revol@xxxxxxxxxxx
http://perso.ens-lyon.fr/nathalie.revol/
------------------------------------------------------------------------------------------------------------