Difference between revisions of "Interval package"
(Updated links and developer information, added reference to other IEEE 1788 software and new IEEE Std 1788.1) 

Line 1:  Line 1:  
−  +  The GNU Octave interval package for realvalued [https://en.wikipedia.org/wiki/Interval_arithmetic interval arithmetic].  
[[File:Intervalsombrero.png280pxthumbrightPlotting the interval enclosure of a function]]  [[File:Intervalsombrero.png280pxthumbrightPlotting the interval enclosure of a function]]  
== Distribution ==  == Distribution ==  
−  * [  +  * [https://octave.sourceforge.io/interval/ Latest version at Octave Forge] 
** <code>pkg install forge interval</code>  ** <code>pkg install forge interval</code>  
−  ** [  +  ** [https://octave.sourceforge.io/interval/overview.html function reference] 
−  ** [  +  ** [https://octave.sourceforge.io/interval/package_doc/index.html package documentation] (user manual) 
'''Thirdparty'''  '''Thirdparty'''  
* [https://tracker.debian.org/pkg/octaveinterval Debian GNU/Linux], [https://launchpad.net/ubuntu/+source/octaveinterval Launchpad Ubuntu]  * [https://tracker.debian.org/pkg/octaveinterval Debian GNU/Linux], [https://launchpad.net/ubuntu/+source/octaveinterval Launchpad Ubuntu]  
* [https://aur.archlinux.org/packages/octaveinterval/ archlinux user repository]  * [https://aur.archlinux.org/packages/octaveinterval/ archlinux user repository]  
* Included in [https://ftp.gnu.org/gnu/octave/windows/ official Windows installer] and installed automatically with Octave (since version 4.0.1)  * Included in [https://ftp.gnu.org/gnu/octave/windows/ official Windows installer] and installed automatically with Octave (since version 4.0.1)  
−  * [https://  +  * [https://github.com/macports/macportsports/tree/master/math/octaveinterval/ MacPorts] for Mac OS X 
−  * [  +  * [https://www.freshports.org/math/octaveforgeinterval/ FreshPorts] for FreeBSD 
* [https://cygwin.com/cgibin2/packagegrep.cgi?grep=octaveinterval Cygwin] for Windows  * [https://cygwin.com/cgibin2/packagegrep.cgi?grep=octaveinterval Cygwin] for Windows  
* [https://build.opensuse.org/package/show/science/octaveforgeinterval openSUSE build service]  * [https://build.opensuse.org/package/show/science/octaveforgeinterval openSUSE build service]  
Line 19:  Line 19:  
== Development status ==  == Development status ==  
* Completeness  * Completeness  
−  ** All required functions from IEEE Std 17882015, IEEE standard for interval arithmetic, are implemented. The standard was approved on June 11, 2015. It will remain active for ten years.  +  ** All required functions from [https://standards.ieee.org/findstds/standard/17882015.html IEEE Std 17882015], IEEE standard for interval arithmetic, are implemented. The standard was approved by IEEESA on June 11, 2015. It will remain active for ten years. The standard was approved by ANSI in 2016. 
−  ** In addition there are functions for interval matrix arithmetic, plotting and solvers.  +  ** Also, the minimalistic standard [https://standards.ieee.org/findstds/standard/1788.12017.html IEEE Std 1788.12017], IEEE standard for interval arithmetic (simplified) is fully implemented. The standard was approved by IEEESA on December 6, 2017 (and published in January 2018). 
+  ** In addition there are functions for interval matrix arithmetic, Ndimensional interval arrays, plotting, and solvers.  
* Quality  * Quality  
−  ** Includes  +  ** Most arithmetic operations produce tight, correctlyrounded results. That is, the smallest possible interval with doubleprecision (binary64) endpoints, which encloses the exact result. 
−  **  +  ** Includes [https://github.com/oheim/ITF1788 large test suite] for arithmetic functions 
+  ** For open bugs please refer to the [https://savannah.gnu.org/search/?words=forge+interval&type_of_search=bugs&only_group_id=1925&exact=1 bug tracker].  
+  * Performance  
+  ** All elementary functions have been [https://octave.org/doc/interpreter/VectorizationandFasterCodeExecution.html vectorized] and run fast on large input data.  
+  ** Arithmetic is performed with the [http://www.mpfr.org/ GNU MPFR] library internally. Where possible, the optimized [http://web.archive.org/web/20170128033523/http://lipforge.enslyon.fr/www/crlibm/ CRlibm] library is used.  
* Portability  * Portability  
** Runs in GNU Octave ≥ 3.8.2  ** Runs in GNU Octave ≥ 3.8.2  
** Known to run under GNU/Linux, Microsoft Windows, macOS, and FreeBSD  ** Known to run under GNU/Linux, Microsoft Windows, macOS, and FreeBSD  
−  +  
−  +  == Project ideas (TODOs) ==  
−  +  * To be considered in the future: Algorithms can be migrated from the CXSC Toolbox (C++ code) from [http://www2.math.uniwuppertal.de/wrswt/xsc/cxsc_new.html] (nlinsys.cpp and cpzero.cpp), however these would need gradient arithmetic and complex arithmetic.  
−  +  * Interval version of <code>interp1</code>  
+  * Extend <code>subsasgn</code> to allow direct manipulation of inf and sup (and dec) properties.  
>> A = infsup ("[2, 4]");  >> A = infsup ("[2, 4]");  
>> A.inf = infsup ("[1, 3]")  >> A.inf = infsup ("[1, 3]")  
Line 41:  Line 47:  
>> A.inf.inf = 42 # should produce error?  >> A.inf.inf = 42 # should produce error?  
>> A.inf.sup = 42 # should produce error?  >> A.inf.sup = 42 # should produce error?  
−  +  * Tight Enclosure of Matrix Multiplication with Level 3 BLAS [http://kam.mff.cuni.cz/conferences/swim2015/abstracts/ozaki.pdf] [http://kam.mff.cuni.cz/conferences/swim2015/slides/ozaki.pdf]  
−  +  * Verified Convex Hull for Inexact Data [http://kam.mff.cuni.cz/conferences/swim2015/abstracts/ohta.pdf] [http://kam.mff.cuni.cz/conferences/swim2015/slides/ohta.pdf]  
−  +  * Implement usercontrollable output from the interval standard (e. g. via printf functions):  
a) It should be possible to specify the preferred overall field width (the length of s).  a) It should be possible to specify the preferred overall field width (the length of s).  
b) It should be possible to specify how Empty, Entire and NaI are output,  b) It should be possible to specify how Empty, Entire and NaI are output,  
Line 55:  Line 61:  
== Compatibility ==  == Compatibility ==  
−  The interval package's main goal is to be compliant with IEEE Std 17882015, so it is compatible with other standardconforming implementations (on the set of operations described by the standard document).  +  The interval package's main goal is to be compliant with IEEE Std 17882015, so it is compatible with other standardconforming implementations (on the set of operations described by the standard document). Other implementations, which are known to aim for standard conformance are: 
+  
+  * [https://github.com/JuliaIntervals/IntervalArithmetic.jl IntervalArithmetic.jl package] (Julia)  
+  * [https://github.com/jinterval/jinterval JInterval library] (Java)  
+  * [https://github.com/nadezhin/libieeep1788 ieeep1788 library] (C++) created by Marco Nehmeier, later forked by Dmitry Nadezhin  
=== Octave Forge simp package ===  === Octave Forge simp package ===  
Line 72:  Line 82:  
* Basic operations can be found in both packages, but the availability of special functions depends  * Basic operations can be found in both packages, but the availability of special functions depends  
−  {{Code  +  
−  +  <div style="display:flex; alignitems: flexstart">  
−  +  <div style="marginright: 2em">  
−  +  {{CodeComputation with this interval package<syntaxhighlight lang="octave">  
−  +  pkg load interval  
−  +  A1 = infsup (2, 3);  
−  +  B1 = hull (4, A2);  
−  +  C1 = midrad (0, 2);  
−  +  
−  +  A1 + B1 * C1  
−  +  </syntaxhighlight>  
−  +  }}  
−  +  </div><div>  
−  +  {{CodeComputation with INTLAB<syntaxhighlight lang="octave">  
−  +  startintlab  
−  +  A2 = infsup (2, 3);  
+  B2 = hull (4, A2);  
+  C2 = midrad (0, 2);  
+  
+  A2 + B2 * C2  
</syntaxhighlight>  </syntaxhighlight>  
}}  }}  
+  </div>  
+  </div>  
==== Known differences ====  ==== Known differences ====  
Line 127:  Line 143:  
 isintval (x)   isintval (x)  
}  }  
−  
−  
−  
−  
−  
−  
== Developer Information ==  == Developer Information ==  
Line 148:  Line 158:  
'''Build dependencies'''  '''Build dependencies'''  
−  <code>aptget install libmpfrdev autoconf automake  +  <code>aptget install libmpfrdev autoconf automake inkscape zopfli</code> 
−  
−  
−  
−  
−  
−  
−  
−  
−  
−  
−  
−  
−  
−  
−  
−  
−  
−  
−  
−  
=== Architecture ===  === Architecture ===  
Line 189:  Line 179:  
  ` ... – further functions on decorated intervals    ` ... – further functions on decorated intervals  
 ` ... – a few global functions that don't operate on intervals   ` ... – a few global functions that don't operate on intervals  
−  +  ` src/  
−  +  + mpfr_function_d.cc – computes various arithmetic functions correctly rounded (using MPFR)  
−  +  ` ... – other octfile sources  
−  
=== Best practices ===  === Best practices ===  
Line 215:  Line 204:  
Octave functions may be used as long as they don't introduce arithmetic errors. For example, the ceil function can be used safely since it is exact on binary64 numbers.  Octave functions may be used as long as they don't introduce arithmetic errors. For example, the ceil function can be used safely since it is exact on binary64 numbers.  
function x = ceil (x)  function x = ceil (x)  
−  +  ... parameter checking ...  
−  +  x.inf = ceil (x.inf);  
−  +  x.sup = ceil (x.sup);  
endfunction  endfunction  
Line 226:  Line 215:  
All functions should be implemented using vectorization and indexing. This is very important for performance on large data. For example, consider the plus function. It computes lower and upper boundaries of the result (x.inf, y.inf, x.sup, y.sup may be vectors or matrices) and then uses an indexing expression to adjust values where empty intervals would have produces problematic values.  All functions should be implemented using vectorization and indexing. This is very important for performance on large data. For example, consider the plus function. It computes lower and upper boundaries of the result (x.inf, y.inf, x.sup, y.sup may be vectors or matrices) and then uses an indexing expression to adjust values where empty intervals would have produces problematic values.  
function x = plus (x, y)  function x = plus (x, y)  
−  +  ... parameter checking ...  
−  +  l = mpfr_function_d ('plus', inf, x.inf, y.inf);  
−  +  u = mpfr_function_d ('plus', +inf, x.sup, y.sup);  
−  +  emptyresult = isempty (x)  isempty (y);  
−  +  l(emptyresult) = inf;  
−  +  u(emptyresult) = inf;  
−  +  …  
endfunction  endfunction  
Revision as of 15:09, 17 March 2018
The GNU Octave interval package for realvalued interval arithmetic.
Contents
Distribution
 Latest version at Octave Forge
pkg install forge interval
 function reference
 package documentation (user manual)
Thirdparty
 Debian GNU/Linux, Launchpad Ubuntu
 archlinux user repository
 Included in official Windows installer and installed automatically with Octave (since version 4.0.1)
 MacPorts for Mac OS X
 FreshPorts for FreeBSD
 Cygwin for Windows
 openSUSE build service
Development status
 Completeness
 All required functions from IEEE Std 17882015, IEEE standard for interval arithmetic, are implemented. The standard was approved by IEEESA on June 11, 2015. It will remain active for ten years. The standard was approved by ANSI in 2016.
 Also, the minimalistic standard IEEE Std 1788.12017, IEEE standard for interval arithmetic (simplified) is fully implemented. The standard was approved by IEEESA on December 6, 2017 (and published in January 2018).
 In addition there are functions for interval matrix arithmetic, Ndimensional interval arrays, plotting, and solvers.
 Quality
 Most arithmetic operations produce tight, correctlyrounded results. That is, the smallest possible interval with doubleprecision (binary64) endpoints, which encloses the exact result.
 Includes large test suite for arithmetic functions
 For open bugs please refer to the bug tracker.
 Performance
 All elementary functions have been vectorized and run fast on large input data.
 Arithmetic is performed with the GNU MPFR library internally. Where possible, the optimized CRlibm library is used.
 Portability
 Runs in GNU Octave ≥ 3.8.2
 Known to run under GNU/Linux, Microsoft Windows, macOS, and FreeBSD
Project ideas (TODOs)
 To be considered in the future: Algorithms can be migrated from the CXSC Toolbox (C++ code) from [1] (nlinsys.cpp and cpzero.cpp), however these would need gradient arithmetic and complex arithmetic.
 Interval version of
interp1
 Extend
subsasgn
to allow direct manipulation of inf and sup (and dec) properties.
>> A = infsup ("[2, 4]"); >> A.inf = infsup ("[1, 3]") A = [1, 4] >> A.inf = 5 A = [Empty]
 While at it, also allow multiple subscripts in
subsasgn
 While at it, also allow multiple subscripts in
>> A(:)(2:4)(2) = 42; # equivalent to A(3) = 42 >> A.inf(3) = 42; # also A(3).inf = 42 >> A.inf.inf = 42 # should produce error? >> A.inf.sup = 42 # should produce error?
 Tight Enclosure of Matrix Multiplication with Level 3 BLAS [2] [3]
 Verified Convex Hull for Inexact Data [4] [5]
 Implement usercontrollable output from the interval standard (e. g. via printf functions):
a) It should be possible to specify the preferred overall field width (the length of s). b) It should be possible to specify how Empty, Entire and NaI are output, e.g., whether lower or upper case, and whether Entire becomes [Entire] or [Inf, Inf]. c) For l and u, it should be possible to specify the field width, and the number of digits after the point or the number of significant digits. (partly this is already implemented by output_precision (...) / `format long` / `format short`) d) It should be possible to output the bounds of an interval without punctuation, e.g., 1.234 2.345 instead of [1.234, 2.345]. For instance, this might be a convenient way to write intervals to a file for use by another application.
Compatibility
The interval package's main goal is to be compliant with IEEE Std 17882015, so it is compatible with other standardconforming implementations (on the set of operations described by the standard document). Other implementations, which are known to aim for standard conformance are:
 IntervalArithmetic.jl package (Julia)
 JInterval library (Java)
 ieeep1788 library (C++) created by Marco Nehmeier, later forked by Dmitry Nadezhin
Octave Forge simp package
In 2008/2009 there was a Single Interval Mathematics Package (SIMP) for Octave, which has eventually become unmaintained at Octave Forge.
The simp package contains a few basic interval arithmetic operations on scalar or vector intervals. It does not consider inaccurate builtin arithmetic functions, roundoff, conversion and representational errors. As a result its syntax is very easy, but the arithmetic fails to produce guaranteed enclosures.
It is recommended to use the interval package as a replacement for simp. However, function names and interval constructors are not compatible between the packages.
INTLAB
This interval package is not meant to be a replacement for INTLAB and any compatibility with it is pure coincidence. Since both are compatible with GNU Octave, they happen to agree on many function names and programs written for INTLAB may possibly run with this interval package as well. Some fundamental differences that I am currently aware of:
 INTLAB is nonfree software, it grants none of the four essential freedoms of free software
 INTLAB is not conforming to IEEE Std 17882015 and the parsing of intervals from strings uses a different format—especially for the uncertain form
 INTLAB supports intervals with complex numbers and sparse interval matrices, but no empty intervals
 INTLAB uses inferior accuracy for most arithmetic operations, because it focuses on speed
 Basic operations can be found in both packages, but the availability of special functions depends
Code: Computation with this interval package 
pkg load interval
A1 = infsup (2, 3);
B1 = hull (4, A2);
C1 = midrad (0, 2);
A1 + B1 * C1

Code: Computation with INTLAB 
startintlab
A2 = infsup (2, 3);
B2 = hull (4, A2);
C2 = midrad (0, 2);
A2 + B2 * C2

Known differences
Simple programs written for INTLAB should run without modification with this interval package. The following table lists common functions that use a different name in INTLAB.
interval package  INTLAB 

infsup (x)  intval (x) 
wid (x)  diam (x) 
subset (a, b)  in (a, b) 
interior (a, b)  in0 (a, b) 
isempty (x)  isnan (x) 
disjoint (a, b)  emptyintersect (a, b) 
hdist (a, b)  qdist (a, b) 
disp (x)  disp2str (x) 
infsup (s)  str2intval (s) 
isa (x, "infsup")  isintval (x) 
Developer Information
Source Code Repository
https://sourceforge.net/p/octave/interval/ci/default/tree/
Dependencies
aptget install liboctavedev mercurial make automake libmpfrdev
Build
The repository contains a Makefile which controls the build process. Some common targets are:
make release
Create a release tarball and the HTML documentation for Octave Forge (takes a while).make check
Run the full testsuite to verify that code changes didn't break anything (takes a while).make run
Quickly start Octave with minimal recompilation and functions loaded from the workspace (for interactive testing of code changes).
Build dependencies
aptget install libmpfrdev autoconf automake inkscape zopfli
Architecture
In a nutshell the package provides two new data types to users: bare intervals and decorated intervals. The data types are implemented as:
 class
infsup
(bare interval) with attributesinf
(lower interval boundary) andsup
(upper interval boundary)  class
infsupdec
(decorated interval) which extends the former and adds attributedec
(interval decoration).
Almost all functions in the package are implemented as methods of these classes, e. g. @infsup/sin
implements the sine function for bare intervals. Most code is kept in mfiles. Arithmetic operations that require correctlyrounded results are implemented in octfiles (C++ code), these are used internally by the mfiles of the package. The source code is organized as follows:
+ doc/ – package manual + inst/  + @infsup/   + infsup.m – class constructor for bare intervals   + sin.m – sine function for bare intervals (uses mpfr_function_d internally)   ` ... – further functions on bare intervals  + @infsupdec/   + infsupdec.m – class constructor for decorated intervals   + sin.m – sine function for decorated intervals (uses @infsup/sin internally)   ` ... – further functions on decorated intervals  ` ... – a few global functions that don't operate on intervals ` src/ + mpfr_function_d.cc – computes various arithmetic functions correctly rounded (using MPFR) ` ... – other octfile sources
Best practices
Parameter checking
 All methods must check
nargin
and callprint_usage
if the number of parameters is wrong. This prevents simple errors by the user.  Methods with more than 1 parameter must convert noninterval parameters to intervals using the class constructor. This allows the user to mix noninterval parameters with interval parameters and the function treats any inputs as intervals. Invalid values will be handled by the class constructors.
if (not (isa (x, "infsup"))) x = infsup (x); endif if (not (isa (y, "infsup"))) y = infsup (y); endif
if (not (isa (x, "infsupdec"))) x = infsupdec (x); endif if (not (isa (y, "infsupdec"))) y = infsupdec (y); endif
Use of Octave functions
Octave functions may be used as long as they don't introduce arithmetic errors. For example, the ceil function can be used safely since it is exact on binary64 numbers.
function x = ceil (x) ... parameter checking ... x.inf = ceil (x.inf); x.sup = ceil (x.sup); endfunction
If Octave functions would introduce arithmetic/rounding errors, there are interfaces to MPFR (mpfr_function_d
) and crlibm (crlibm_function
), which can produce guaranteed boundaries.
Vectorization & Indexing
All functions should be implemented using vectorization and indexing. This is very important for performance on large data. For example, consider the plus function. It computes lower and upper boundaries of the result (x.inf, y.inf, x.sup, y.sup may be vectors or matrices) and then uses an indexing expression to adjust values where empty intervals would have produces problematic values.
function x = plus (x, y) ... parameter checking ... l = mpfr_function_d ('plus', inf, x.inf, y.inf); u = mpfr_function_d ('plus', +inf, x.sup, y.sup); emptyresult = isempty (x)  isempty (y); l(emptyresult) = inf; u(emptyresult) = inf; … endfunction
VERSOFT
The VERSOFT software package (by Jiří Rohn) has been released under a free software license (Expat license) and algorithms may be migrated into the interval package.
The following table is no longer uptodate, it describes the situation before pcoded files have been disclosed. So, some functions are no longer trapped.
Function  Status  Information 

Real (or complex) data only: Matrices  
verbasis  trapped  depends on verfullcolrank

vercondnum  trapped  depends on versingval

verdet  trapped  depends on pcoded ol

verdistsing  trapped  depends on versingval

verfullcolrank  encrypted  implemented in pcoded zd

vernorm2  trapped  depends on versingval

vernull (experimental)  unknown  depends on verlsq ; todo: compare with local function inside verintlinineqs

verorth  trapped  depends on verbasis and verthinsvd

verorthproj  trapped  depends on verpinv and verfullcolrank

verpd  trapped  depends on isspd (by Rump, to be checked) and vereig

verpinv  trapped  dependency verifylss is implemented as mldivide ; depends on verthinsvd

verpmat  trapped  depends on verregsing

verrank  trapped  depends on versingval and verbasis

verrref  trapped  depends on verfullcolrank and verpinv

Real (or complex) data only: Matrices: Eigenvalues and singular values  
vereig  encrypted  implemented in pcoded ol

free, migrated (for real eigenvalues)  dependency norm is already implemented
 
verspectrad  trapped  main part implemented in pcoded ol

Real (or complex) data only: Matrices: Decompositions  
verpoldec  trapped  depends on verthinsvd

verrankdec  trapped  depends on verfullcolrank and verpinv

verspectdec  trapped  main part implemented in pcoded ol

verthinsvd  encrypted  implemented in pcoded ol

Real (or complex) data only: Matrix functions  
vermatfun  trapped  main part implemented in pcoded ol

Real data only: Linear systems (rectangular)  
free, migrated  use glpk as a replacement for linprog
 
verlinsys  trapped  dependency verifylss is implemented as mldivide ; depends on verpinv , verfullcolrank , and verbasis

verlsq  trapped  depends on verpinv and verfullcolrank

Real data only: Optimization  
verlcpall  trapped  depends on verabsvaleqnall

free, migrated  use glpk as a replacement for linprog ; dependency verifylss is implemented as mldivide
 
verlinprogg  encrypted  implemented in pcoded at

verquadprog  unknown  use quadprog from the optim package; use glpk as a replacement for linprog ; dependency verifylss is implemented as mldivide ; depends on isspd (by Rump, to be checked, algorithm in [6])

Real (or complex) data only: Polynomials  
verroots  trapped  main part implemented in pcoded ol

Interval (or real) data: Matrices  
verhurwstab  trapped  depends on verposdef

verinverse  trapped  depends on verintervalhull

free, migrated  
verposdef  trapped  depends on isspd (by Rump, to be checked) and verregsing

verregsing  trapped  dependency verifylss is implemented as mldivide ; depends on isspd (by Rump, to be checked) and verintervalhull ; see also [7]

Interval (or real) data: Matrices: Eigenvalues and singular values  
vereigsym  trapped  main part implemented in pcoded ol , depends on verspectrad

vereigval  trapped  depends on verregsing

free, migrated  
verperrvec  free  the function is just a wrapper around vereigvec ?!?

versingval  trapped  depends on vereigsym

Interval (or real) data: Matrices: Decompositions  
verqr (experimental)  free  qr has already been implemented using the GramSchmidt process, which seems to be more accurate and faster than the Cholsky decomposition or Householder reflections used in verqr. No migration needed.

free, migrated  migrated version has been named after the standard Octave function chol
 
Interval (or real) data: Linear systems (square)  
verenclinthull  trapped  main part implemented in pcoded ea

verhullparam  encrypted  implemented in pcoded jz

verhullpatt  trapped  main part implemented in pcoded jz

verintervalhull  encrypted  implemented in pcoded intervalhull (find algorithm in [8])

Interval (or real) data: Linear systems (rectangular)  
verintlinineqs  free  depends on verlinineqnn

veroettprag  free  
vertolsol  free  depends on verlinineqnn

Interval (or real) data: Matrix equations (rectangular)  
vermatreqn  free  
Real data only: Uncommon problems  
plusminusoneset  free  
verabsvaleqn  trapped  main part implemented in pcoded ek (find algorithm in [9], improved version in [10])

verabsvaleqnall  trapped  depends on verabsvaleqn , see also [11]

verbasintnpprob  trapped  depends on verregsing
