Editing Interval package
Jump to navigation
Jump to search
The edit can be undone. Please check the comparison below to verify that this is what you want to do, and then publish the changes below to finish undoing the edit.
Latest revision | Your text | ||
Line 1: | Line 1: | ||
<div style="float: right; margin: 0 3em">[[File:Octave-interval.png|center]]</div>The GNU Octave interval package for real-valued interval arithmetic. | |||
The GNU Octave interval package for real-valued | |||
[[File:Interval-sombrero.png|280px|thumb| | [[File:Interval-sombrero.png|280px|thumb|right|Plotting the interval enclosure of a function]] | ||
== Distribution == | == Distribution == | ||
* [ | * [http://octave.sourceforge.net/interval/index.html Latest version at Octave Forge] | ||
* [ | ** <code>pkg install -forge interval</code> | ||
* | ** [http://octave.sourceforge.net/interval/overview.html function reference] | ||
* [https:// | ** [http://octave.sourceforge.net/interval/package_doc/index.html package documentation] (user manual) | ||
* [ | * [https://trac.macports.org/browser/trunk/dports/math/octave-interval MacPorts] for Mac OS X | ||
* [http://www.freshports.org/math/octave-forge-interval/ FreshPorts] for FreeBSD | |||
== Development status == | == Development status == | ||
* Completeness | * Completeness | ||
** All required functions from | ** All required functions from IEEE Std 1788-2015, IEEE standard for interval arithmetic, are implemented. The standard was approved on June 11, 2015. It will remain active for ten years. | ||
** | ** Planned: more solvers | ||
** | *** <code>fsolve</code>, | ||
*** and possibly <code>roots</code> | |||
*** Algorithms can be migrated from the C-XSC Toolbox (C++ code) from [http://www2.math.uni-wuppertal.de/wrswt/xsc/cxsc_new.html] (see nlinsys.cpp, and cpzero.cpp respectively). | |||
** Planned: Improvement of the user documentation | |||
*** Explain more interval arithmetic concepts with examples from the package | |||
** Planned: Interval version of <code>interp1</code> | |||
* Quality | * Quality | ||
** | ** Includes tests for all functions, many tests for basic functions | ||
** No known bugs. The package is quite new and still has a small user base, so there might be hidden bugs. Also some advanced functions need more testing. | |||
** | |||
* Portability | * Portability | ||
** Runs in GNU Octave | ** Runs in GNU Octave 3.8.2 and 4.0.0 | ||
** Known to run under GNU/Linux, Microsoft Windows, | ** Known to run under GNU/Linux, Microsoft Windows, Mac OS X and FreeBSD | ||
== Compatibility == | == Compatibility == | ||
The interval package's main goal is to be compliant with IEEE Std 1788-2015, so it is compatible with other standard-conforming implementations (on the set of operations described by the standard document). | The interval package's main goal is to be compliant with IEEE Std 1788-2015, so it is compatible with other standard-conforming implementations (on the set of operations described by the standard document). | ||
=== Octave Forge simp package === | === Octave Forge simp package === | ||
Line 102: | Line 46: | ||
* 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|In GNU Octave the interval package can also be run alongside INTLAB.|<syntaxhighlight lang="octave"> | |||
# INTLAB intervals | |||
A1 = infsup (2, 3); | |||
{{Code| | B1 = hull (-4, A1); | ||
pkg load interval | C1 = midrad (0, 2); | ||
# Interval package intervals | |||
pkg load interval | |||
A2 = infsup (2, 3); | |||
B2 = hull (-4, A2); | |||
A1 + B1 * C1 | C2 = midrad (0, 2); | ||
pkg unload interval | |||
# Computation with INTLAB | |||
A1 + B1 * C1 | |||
# Computation without INTLAB | |||
A2 + B2 * C2 | |||
</syntaxhighlight> | </syntaxhighlight> | ||
}} | }} | ||
==== Known differences ==== | ==== Known differences ==== | ||
{| | {| | ||
! interval package | ! interval package | ||
Line 147: | Line 84: | ||
| isempty (x) | | isempty (x) | ||
| isnan (x) | | isnan (x) | ||
|} | |} | ||
== | == Similar software == | ||
For C++ there is an interval library [https://github.com/nehmeier/libieeep1788/ libieeep1788] by Marco Nehmeier (member of IEEE P1788). It aims to be standard compliant with IEEE Std 1788-2015 and is designed in a modular way, supporting several interval data types and different flavors of interval arithmetic [http://www.youtube.com/watch?v=GOa9aWAZO_Q]. The GNU Octave interval package shares several unit tests with libieeep1788. | |||
For Julia there is an evolving interval library [https://github.com/dpsanders/ValidatedNumerics.jl ValidatedNumerics.jl] by Luis Benet and David P. Sanders. It is planned to become conforming to IEEE Std 1788-2015 (or to the basic standard 1788.1) in the future. | |||
[[Category:Octave Forge]] | [[Category:Octave-Forge]] |