axiom-developer
[Top][All Lists]

## Re: [Axiom-developer] Exact Number Domain

 From: Ralf Hemmecke Subject: Re: [Axiom-developer] Exact Number Domain Date: Thu, 21 Sep 2006 15:30:16 +0200 User-agent: Thunderbird 1.5.0.7 (X11/20060909)

On 09/21/2006 03:14 PM, address@hidden wrote:

Here's a proposal


Is is possible to create a domain which stores numbers so they always have an exact representation that terminates?


No it is not. At least not until you reveal what you understand by a "number" and what properties it should have.

BTW, how would you store \pi in a finite way? Is it 1 in base \pi?

Ralf



reply via email to