RE: [Axiom-developer] Exact Number Domain

[Page, Bill]

Tim,

It is well known that in general real numbers do not have
any exact representation that "terminates" in this sense.
But not everything we do in a computer must be represented
in this way. For example in Axiom we can easily manipultate
series, continuing fractions, and other sorts of "stream-like"
object that are (potentially) infinite in size but which have
finite descriptions.

See http://wiki.axiom-developer.org/RealNumbers

Regards,
Bill Page.

On Thursday, September 21, 2006 9:14 AM Tim Daly wrote:
> 
> Here's a proposal
> 
> Is is possible to create a domain which stores numbers so 
> they always have an exact representation that terminates?
> ...