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

Re: IEEE Std 1788-2015 plug and play (Fwd: [GNU Octave] interval 1.4.0 released)

Oliver,

Thank you!

At the next MSC meeting, I am going to recommend discussion
and formulation of possible official IEEE press releases
concerning new 2015 MSC-sponsored standards, to be passed
on to the Standards Board for approval.  I am definitely
going to do this for the standardized laptop power supply, and
it is probably a good idea to also do this for
IEEE 1788-2015.  I recommend P1788 (or a volunteer from P1788)
formulate such a draft release that I can pass by IEEE staff
prior to a vote at the upcoming April 12 MSC meeting.

Best regards,

Baker

On 02/19/2016 02:47 PM, Oliver Heimlich wrote:

Hello,

I am forwarding the latest release announcement for the GNU Octave
interval package.



    ABOUT THE “PLUG” PART

The package has been picked up by several re-distributors already. Look
out for the package “octave-interval” in the following distributions:

  - Debian Testing / Ubuntu (all major architectures)
  - openSUSE
  - Arch Linux (via AUR)
  - FreeBSD (FreshPorts)
  - MacPorts

The interval package is going to be part of the official Octave
installer for Windows starting from (upcoming) version 4.0.1. You can
find release candidates at alpha.gnu.org already.

This makes is convenient to install IEEE Std 1788-2015 conforming
arithmetic on many systems.



    ABOUT THE “PLAY” PART

The package can be used over an interactive command-line or within
interpreted script files (screenshot attached). It is supposed to be
simple to use.

You will get good accuracy with double-precision, backed by
correctly-rounded GNU MPFR operations. When you use a SIMD programming
style (vector operations), you will also get good performance.

The package is provided as free software. Please contact me if you would
like to contribute or need support.

The Octave project attempts to participate in the upcoming Google Summer
of Code 2016. If it gets accepted as a mentoring organization,
interested students may apply to work on the interval package and get
payed for it.


Best regards
Oliver Heimlich



-------- Forwarded Message --------
Subject: interval 1.4.0 released
Date: Tue, 9 Feb 2016 18:37:01 +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 1.4.0.

A summary of important user-visible changes is also available online
[2]. I am particularly excited about the new function “expm” for
interval matrix exponentiation, which can be used for initial value
problems of linear ODEs with constant coefficients. More interesting use
cases of the package can be found in the manual [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://octave.sourceforge.net/interval/NEWS.html
[3] http://octave.sourceforge.net/interval/package_doc/Examples.html