[Top][All Lists]

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

RE: [Axiom-developer] Exact Number Domain

From: Page, Bill
Subject: RE: [Axiom-developer] Exact Number Domain
Date: Thu, 21 Sep 2006 11:20:57 -0400


On Thursday, September 21, 2006 9:54 AM you wrote:
> ... 
> To pick up Ralf Hemmeke's example, if you want to represent 
> pi, you might want it to expand in powers of some prime number,
? eg 3
> pi= a1*3^1+a0*3^0+ .....
> a stram like object could represent the n-th power truncated 
> version of such expansions. The inductive limit of these
> objects would actually (but infinitely) represent the number.
> Over all it seems to be very complicated and I would not expect
> such a representation to be helpful for numeric calculations 
> (speedwise) at all.

For a practical implementation see the RealLib Project:

by Branimir Lambov

and especially his paper:

A two-layer approach to the computability and complexity of
real functions

The Sage developers are working on an interface to RealLib

I would like to be able to do this in Axiom.

Bill Page.

reply via email to

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