Re: [GNU Octave] interval 2.0.0 released
Dear Oliver,
First of all thank you for your effort on preparing such a useful and
applicable software.
Would you please let me know how this software calculates the
difference between two interval numbers e.g. "u" and "v", "u-v"?
Best wishes,
Mehran
On 11/22/16, Oliver Heimlich <oheim@xxxxxxxxx> wrote:
> 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
>
--
Mehran Mazandarani
Department of Electrical Engineering
Ferdowsi University of Mashhad, Mashhad, Iran.
homepage:http://mehran.mazandarani.fumblog.um.ac.ir/
IEEE Member, me.mazandarani@xxxxxxxx