[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: interval 1.4.0 released

From: Marius Schamschula
Subject: Re: interval 1.4.0 released
Date: Tue, 9 Feb 2016 12:13:49 -0600


On Feb 9, 2016, at 11:37 AM, Oliver Heimlich <address@hidden> wrote:

> 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]
> [2]
> [3]
> _______________________________________________
> Help-octave mailing list
> address@hidden

While building interval-1.4.0 under MacPorts (against octave 4.0.0), I get the 
following error:

/usr/bin/clang++ -c -I/opt/local/include -fPIC 
-I/opt/local/include/octave-4.0.0/octave -I/opt/local/include -D_THREAD_SAFE 
-pthread -pipe -Os -arch x86_64 -stdlib=libc++ -o 
mpfr_function_d.o error: conversion from 'const octave_int<unsigned 
long long>' to 'unsigned long' is ambiguous
      mpfr_fac_ui (mp, arg.elem (i), rnd);

Maybe clang++ is more picky than g++...

Marius Schamschula

reply via email to

[Prev in Thread] Current Thread [Next in Thread]