ANN: Interval arithmetic for Ada v1.10

ANN: Interval arithmetic for Ada v1.10

[Dmitry A. Kazakov]

The package provides an implementation of interval arithmetic.

http://www.dmitry-kazakov.de/ada/intervals.htm

This version is packaged for Fedora and Debian, 32- and 64-bit x86
architectures.

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de

Re: ANN: Interval arithmetic for Ada v1.10

[Gautier write-only]

Sorry if it sounds ignorant, but is it related to the range encoding
or arithmetic coding [1] that seems to be used in the LZMA [2]
compression format ?
In that case, that would be very cool!
LZMA is the compression of the 7Z format and also of the Zip format,
sub-format #14.
And a "LZM" is already done in Zip-Ada for both decompression and
compression.
_________________________
Gautier's Ada programming
http://gautiersblog.blogspot.com
NB: follow the above link for a valid e-mail address
___
[1]: http://en.wikipedia.org/wiki/Range_encoding
[2]: http://en.wikipedia.org/wiki/Lempel%E2%80%93Ziv%E2%80%93Markov_chain_algorithm

Re: ANN: Interval arithmetic for Ada v1.10

[Yannick Duchêne (Hibou57)]

Le Mon, 13 Feb 2012 21:57:08 +0100, Gautier write-only  
<gautier_niouzes@hotmail.com> a écrit:

> Sorry if it sounds ignorant, but is it related to the range encoding
> or arithmetic coding [1] that seems to be used in the LZMA [2]
> compression format ?
That's not about encoding, that's about math operations applied to  
interval, and logical operations on intervals.

Side note: funny, the word looks like the french one.

-- 
“Syntactic sugar causes cancer of the semi-colons.” [1]
“Structured Programming supports the law of the excluded muddle.” [1]
[1]: Epigrams on Programming — Alan J. — P. Yale University

Re: ANN: Interval arithmetic for Ada v1.10

[Dmitry A. Kazakov]

On Mon, 13 Feb 2012 12:57:08 -0800 (PST), Gautier write-only wrote:

> Sorry if it sounds ignorant, but is it related to the range encoding
> or arithmetic coding [1] that seems to be used in the LZMA [2]
> compression format ?

I am not familiar with compression issues. The link you provided looks like
intervals, at least it uses the interval notation. It is half-open
intervals: [a,b[, but for integer intervals [a,b[ = [a,b-1].

> In that case, that would be very cool!

Originally, intervals were introduced for numeric computations, which
always produce accurate result. The errors are accumulated as precision
loss.

Intervals are widely used in measurements, mathematical statistics and
fuzzy.

I was not aware of an application for compression. Cool, indeed.

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de

Re: ANN: Interval arithmetic for Ada v1.10

[Randy Brukardt]

"Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> wrote in message 
news:14rgs8a1yadls$.wp13ue9y7cax.dlg@40tude.net...
...
> Intervals are widely used in measurements, mathematical statistics and
> fuzzy.

Not to mention the definition of real number arithmetic in Ada. The "model 
interval" (G.2.1(4)) of a result specifies the range of values possible from 
a computation which still would be considered a correct Ada implementation 
(any value within that range is allowed).

                                           Randy.

Re: ANN: Interval arithmetic for Ada v1.10

[Gautier write-only]

On 13 fév, 22:26, Yannick Duchêne (Hibou57) <yannick_duch...@yahoo.fr>
wrote:

> That's not about encoding, that's about math operations applied to
> interval, and logical operations on intervals.

And the encoding is about what? Math operations applied to intervals!

> Side note: funny, the word looks like the french one.

Which one ?
_________________________
Gautier's Ada programming
http://sf.net/users/gdemont

Re: ANN: Interval arithmetic for Ada v1.10

[Yannick Duchêne (Hibou57)]

Le Tue, 14 Feb 2012 15:02:14 +0100, Gautier write-only  
<gautier_niouzes@hotmail.com> a écrit:

> On 13 fév, 22:26, Yannick Duchêne (Hibou57) <yannick_duch...@yahoo.fr>
> wrote:
>
>> That's not about encoding, that's about math operations applied to
>> interval, and logical operations on intervals.
>
> And the encoding is about what? Math operations applied to intervals!

I gave "encoding" another meaning, that's why.

>> Side note: funny, the word looks like the french one.
>
> Which one ?

Like in « intervalle d’erreur ». I though the corresponding English word  
would be “range”.

-- 
“Syntactic sugar causes cancer of the semi-colons.” [1]
“Structured Programming supports the law of the excluded muddle.” [1]
[1]: Epigrams on Programming — Alan J. — P. Yale University