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

Re: P-1788: Prospects for the new year


1. Creation of an example implementation. I see this as
something we maintain and alter as we alter the standards
document. This implementation should be available to
all members, and possibly could be maintained with version
control, such as SVN. The process of developing such an
implementation will reveal ambiguities and weaknesses in
the current draft. The process might be made easier
by beginning with a current interval arithmetic package.
Candidates I see are (not necessarily in order of desirability):
INTLAB (Siegfried Rump's Matlab package), PROFIL / BIAS,
the BOOST interval arithmetic class, Filib / Filib++,
INTLIB / INTERVAL_ARITHMETIC (in our GlobSol package),
something from the Vienna group's implementations, others?
I suggest intpakX if the people from Wuppertal are willing to do the job. It will be fine to have an implementation within a computer algebra system 



2. Creation of a test suite to certify that a package complies
with the standard. Again, we should start this soon, even though
the standard is not completed yet. The test suite can be maintained in
a manner similar to the example implementation, in collaboration
with maintainers of the example implementation. I also need
comment and volunteers for the test suite.
We have a large database of examples together with an automated verification of the validity of the results. These examples may be too complex to verify interval arithmetics but I am willing to collaborate for extracting relevant examples and to work on the automation of the verification of the results. 

Best

JPM