From: Gautier Write-only <gautier@fakeaddress.nil>
Subject: Re: How to use "infinite" ?
Date: Fri, 06 Jan 2006 00:33:03 +0100
Date: 2006-01-06T00:33:03+01:00 [thread overview]
Message-ID: <43BDACAF.C20E2840@fakeaddress.nil> (raw)
In-Reply-To: ckgbli1bp6gj$.1b2lhn1y2j3y2$.dlg@40tude.net
Dmitry A. Kazakov:
> You should define an abstract data type to represent the set of integer
> numbers + ideals you want (such as "negative infinity", "positive
> infinity") . For example a universal package could be generic:
>
> generic
> type Finite_Integer is range <>;
> package Integers_With_Infinity_Ideals is
> type Infinite_Integer is private;
> --
> -- Unary operations
> --
> function "+" (Left : Infinite_Integer) return Infinite_Integer;
> function "-" (Left : Infinite_Integer) return Infinite_Integer;
> --
> -- Dyadic operations
> --
> function "+" (Left : Finite_Integer; Right : Infinite_Integer)
> return Infinite_Integer;
[...]
Great idea, you just drafted a (or the first ?) computer package for nonstandard analysis!
I strongly suggest to use the (hem...) standard wording of nonstandard analysis for the
types (unlimited, infinitesimal, etc.).
______________________________________________________________
Gautier -- http://www.mysunrise.ch/users/gdm/index.htm
Ada programming -- http://www.mysunrise.ch/users/gdm/gsoft.htm
NB: For a direct answer, e-mail address on the Web site!
next prev parent reply other threads:[~2006-01-05 23:33 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
2006-01-05 10:42 How to use "infinite" ? Reinert Korsnes
2006-01-05 12:16 ` Dmitry A. Kazakov
2006-01-05 23:33 ` Gautier Write-only [this message]
2006-01-06 10:25 ` Reinert Korsnes
2006-01-06 14:38 ` Dmitry A. Kazakov
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox