Fwd: [GNU Octave] interval 2.0.0 released
Hello,
following our discussion in August, regarding expected behavior and
exceptions in interval constructors, I have revised the interval package
for GNU Octave.
I believe that exception behavior of the package is much closer to the
standard now. Illegal input on bare interval constructors no longer
interrupts computation, but returns empty intervals together with a
“warning” signal (which is a language feature in Octave). For example:
>> infsup (inf, -inf)
warning: illegal interval boundaries: infimum greater than supremum
ans = [Empty]
>> [MSG, ID] = lastwarn
MSG = illegal interval boundaries: infimum greater than supremum
ID = interval:UndefinedOperation
Also I could fix some bugs concerning IEEE Std 1788-2015, e. g.,
PossiblyUndefinedOperation exceptions and hexadecimal output.
I am forwarding the release announcement below.
Best regards
Oliver
-------- Forwarded Message --------
Subject: interval 2.0.0 released
Date: Mon, 21 Nov 2016 23:23:00 +0100
From: Oliver Heimlich <oheim@xxxxxxxxx>
To: Octave Help <help@xxxxxxxxxx>, octave maintainers mailing list
<maintainers@xxxxxxxxxx>
Hi,
a new release of the interval package for real-valued interval
arithmetic [1] is out, version 2.0.0.
Much of this major release is due to Jiří Rohn. His publications have
been an important source of inspiration in the past. Now, he has
partially published the source code of his verification software VERSOFT
[2] as free software. I have been able to convert his programs into
Octave syntax easily and they are included in the interval package.
A complete summary of important user-visible changes is also available
online [3].
The interval package for real-valued interval arithmetic allows one to
evaluate functions over subsets of their domain. All results are
verified, because interval computations automatically keep track of any
errors.
These concepts can be used to handle uncertainties, estimate arithmetic
errors and produce reliable results. Also it can be applied to
computer-assisted proofs, constraint programming, and verified computing.
The implementation is based on interval boundaries represented by
binary64 numbers and is conforming to IEEE Std 1788-2015, IEEE standard
for interval arithmetic.
Enjoy Octave and free your intervals,
Oliver
[1] http://octave.sourceforge.net/interval/
[2] http://uivtx.cs.cas.cz/~rohn/matlab/
[3] http://octave.sourceforge.net/interval/NEWS.html
_______________________________________________
Help-octave mailing list
Help-octave@xxxxxxx
https://lists.gnu.org/mailman/listinfo/help-octave