ANN: Interval arithmetic for Ada v1.10

18 views
Skip to first unread message

Dmitry A. Kazakov

unread,
Feb 13, 2012, 12:42:36 PM2/13/12
to
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

Gautier write-only

unread,
Feb 13, 2012, 3:57:08 PM2/13/12
to
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

Yannick Duchêne (Hibou57)

unread,
Feb 13, 2012, 4:26:41 PM2/13/12
to
Le Mon, 13 Feb 2012 21:57:08 +0100, Gautier write-only
<gautier...@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

Dmitry A. Kazakov

unread,
Feb 13, 2012, 4:54:39 PM2/13/12
to
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.

Randy Brukardt

unread,
Feb 13, 2012, 6:54:38 PM2/13/12
to
"Dmitry A. Kazakov" <mai...@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.


Gautier write-only

unread,
Feb 14, 2012, 9:02:14 AM2/14/12
to
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

Yannick Duchêne (Hibou57)

unread,
Feb 14, 2012, 9:17:00 AM2/14/12
to
Le Tue, 14 Feb 2012 15:02:14 +0100, Gautier write-only
<gautier...@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”.
Reply all
Reply to author
Forward
0 new messages