octave.pkgs.interval: init at 3.2.0

This commit is contained in:
Karl Hallsby 2021-01-06 11:15:38 -06:00 committed by Doron Behar
parent b9bdc30807
commit 8ec29ea849
2 changed files with 41 additions and 0 deletions

View File

@ -0,0 +1,39 @@
{ buildOctavePackage
, lib
, fetchurl
, mpfr
}:
buildOctavePackage rec {
pname = "interval";
version = "3.2.0";
src = fetchurl {
url = "mirror://sourceforge/octave/${pname}-${version}.tar.gz";
sha256 = "0a0sz7b4y53qgk1xr4pannn4w7xiin2pf74x7r54hrr1wf4abp20";
};
propagatedBuildInputs = [
mpfr
];
meta = with lib; {
homepage = "https://octave.sourceforge.io/interval/index.html";
license = licenses.gpl3Plus;
maintainers = with maintainers; [ KarlJoad ];
description = "Interval arithmetic to evaluate functions over subsets of their domain";
longDescription = ''
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.
'';
};
}

View File

@ -121,6 +121,8 @@ makeScope newScope (self:
inherit (octave) enableJava;
};
interval = callPackage ../development/octave-modules/interval { };
level-set = callPackage ../development/octave-modules/level-set { };
linear-algebra = callPackage ../development/octave-modules/linear-algebra { };