[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
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