Account Options

  1. Sign in
The old Google Groups will be going away soon, but your browser is incompatible with the new version.
Google Groups Home
« Groups Home
ANN: Interval arithmetic for Ada v1.10
There are currently too many topics in this group that display first. To make this topic appear first, remove this option from another topic.
There was an error processing your request. Please try again.
flag
  7 messages - Collapse all  -  Translate all to Translated (View all originals)
The group you are posting to is a Usenet group. Messages posted to this group will make your email address visible to anyone on the Internet.
Your reply message has not been sent.
Your post was successful
 
From:
To:
Cc:
Followup To:
Add Cc | Add Followup-to | Edit Subject
Subject:
Validation:
For verification purposes please type the characters you see in the picture below or the numbers you hear by clicking the accessibility icon. Listen and type the numbers you hear
 
Dmitry A. Kazakov  
View profile  
 More options Feb 13, 12:42 pm
Newsgroups: comp.lang.ada
From: "Dmitry A. Kazakov" <mail...@dmitry-kazakov.de>
Date: Mon, 13 Feb 2012 18:42:36 +0100
Local: Mon, Feb 13 2012 12:42 pm
Subject: ANN: Interval arithmetic for Ada v1.10
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


 
You must Sign in before you can post messages.
To post a message you must first join this group.
Please update your nickname on the subscription settings page before posting.
You do not have the permission required to post.
Gautier write-only  
View profile  
 More options Feb 13, 3:57 pm
Newsgroups: comp.lang.ada
From: Gautier write-only <gautier_niou...@hotmail.com>
Date: Mon, 13 Feb 2012 12:57:08 -0800 (PST)
Local: Mon, Feb 13 2012 3:57 pm
Subject: Re: ANN: Interval arithmetic for Ada v1.10
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_...

 
You must Sign in before you can post messages.
To post a message you must first join this group.
Please update your nickname on the subscription settings page before posting.
You do not have the permission required to post.
Hibou57 Yannick Duchêne  
View profile  
 More options Feb 13, 4:26 pm
Newsgroups: comp.lang.ada
From: Yannick Duchêne (Hibou57) <yannick_duch...@yahoo.fr>
Date: Mon, 13 Feb 2012 22:26:41 +0100
Local: Mon, Feb 13 2012 4:26 pm
Subject: Re: ANN: Interval arithmetic for Ada v1.10
Le Mon, 13 Feb 2012 21:57:08 +0100, Gautier write-only  
<gautier_niou...@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


 
You must Sign in before you can post messages.
To post a message you must first join this group.
Please update your nickname on the subscription settings page before posting.
You do not have the permission required to post.
Dmitry A. Kazakov  
View profile  
 More options Feb 13, 4:54 pm
Newsgroups: comp.lang.ada
From: "Dmitry A. Kazakov" <mail...@dmitry-kazakov.de>
Date: Mon, 13 Feb 2012 22:54:39 +0100
Local: Mon, Feb 13 2012 4:54 pm
Subject: Re: ANN: Interval arithmetic for Ada v1.10

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


 
You must Sign in before you can post messages.
To post a message you must first join this group.
Please update your nickname on the subscription settings page before posting.
You do not have the permission required to post.
Randy Brukardt  
View profile  
 More options Feb 13, 6:54 pm
Newsgroups: comp.lang.ada
From: "Randy Brukardt" <ra...@rrsoftware.com>
Date: Mon, 13 Feb 2012 17:54:38 -0600
Local: Mon, Feb 13 2012 6:54 pm
Subject: Re: ANN: Interval arithmetic for Ada v1.10
"Dmitry A. Kazakov" <mail...@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.


 
You must Sign in before you can post messages.
To post a message you must first join this group.
Please update your nickname on the subscription settings page before posting.
You do not have the permission required to post.
Gautier write-only  
View profile  
 More options Feb 14, 9:02 am
Newsgroups: comp.lang.ada
From: Gautier write-only <gautier_niou...@hotmail.com>
Date: Tue, 14 Feb 2012 06:02:14 -0800 (PST)
Local: Tues, Feb 14 2012 9:02 am
Subject: Re: ANN: Interval arithmetic for Ada v1.10
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

 
You must Sign in before you can post messages.
To post a message you must first join this group.
Please update your nickname on the subscription settings page before posting.
You do not have the permission required to post.
Hibou57 Yannick Duchêne  
View profile  
 More options Feb 14, 9:17 am
Newsgroups: comp.lang.ada
From: Yannick Duchêne (Hibou57) <yannick_duch...@yahoo.fr>
Date: Tue, 14 Feb 2012 15:17:00 +0100
Subject: Re: ANN: Interval arithmetic for Ada v1.10
Le Tue, 14 Feb 2012 15:02:14 +0100, Gautier write-only  
<gautier_niou...@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


 
You must Sign in before you can post messages.
To post a message you must first join this group.
Please update your nickname on the subscription settings page before posting.
You do not have the permission required to post.
End of messages
« Back to Discussions « Newer topic     Older topic »