From: Gautier <gautier@fakeaddress.nil>
Subject: Re: ada is getting spanked :(
Date: Thu, 02 Nov 2006 20:37:20 +0100
Date: 2006-11-02T20:37:20+01:00 [thread overview]
Message-ID: <454a48dc$1_7@news.bluewin.ch> (raw)
In-Reply-To: <zGq2h.130890$aJ.85400@attbi_s21>
Jeffrey R. Carter:
> I looked at Gautier de Montmollin's package, but there doesn't seem to
> be a way to convert a big-num to an Integer.
Mmmh, you looked at multi002.zip on Jerome's page, which appears to be
outdated, and not at mathpaqs.zip, where you have:
-- Convert basic_int to multi_int
function Multi(small: Basic_int) return Multi_int;
-- Convert multi_int to basic_int (when possible, else: Cannot_fit raised)
function Basic(large: Multi_int) return Basic_int;
I'd be keen to give a try. Do you have a piece of code I could
continue with that pi test ?
Cheers, Gautier
______________________________________________________________
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-11-02 19:37 UTC|newest]
Thread overview: 44+ messages / expand[flat|nested] mbox.gz Atom feed top
2006-10-28 16:29 ada is getting spanked :( cl1
2006-10-28 17:45 ` Martin Krischik
2006-10-28 20:02 ` Georg Bauhaus
2006-10-29 1:34 ` Georg Bauhaus
2006-10-29 2:13 ` Jeffrey R. Carter
2006-10-29 4:48 ` Isaac Gouy
2006-10-30 1:01 ` Isaac Gouy
2006-10-29 2:26 ` Jeffrey R. Carter
2006-10-29 2:30 ` Jeffrey R. Carter
2006-10-29 2:33 ` Jeffrey R. Carter
2006-10-29 17:19 ` Jeffrey R. Carter
2006-10-29 17:25 ` Jeffrey R. Carter
2006-10-29 8:54 ` Martin Krischik
2006-10-29 13:01 ` Georg Bauhaus
2006-10-30 0:46 ` Isaac Gouy
2006-10-29 16:27 ` Björn Persson
2006-10-29 20:23 ` Georg Bauhaus
2006-10-29 23:50 ` Björn Persson
2006-10-31 11:32 ` Dmitry A. Kazakov
2006-10-31 13:12 ` Georg Bauhaus
2006-10-31 14:14 ` Dmitry A. Kazakov
2006-10-31 18:01 ` Martin Krischik
2006-10-29 4:58 ` Isaac Gouy
2006-10-29 8:46 ` Martin Krischik
2006-10-30 0:17 ` Isaac Gouy
2006-10-30 18:26 ` jtg
2006-10-30 21:50 ` george
2006-10-31 4:57 ` Jeffrey R. Carter
2006-10-31 6:28 ` Gautier
2006-10-31 6:47 ` Martin Krischik
2006-11-02 18:21 ` Jeffrey R. Carter
2006-11-02 19:37 ` Gautier [this message]
2006-11-03 5:11 ` Jeffrey R. Carter
2006-11-03 12:06 ` Martin Krischik
2006-11-03 19:59 ` Jeffrey R. Carter
2006-11-12 22:26 ` Shootout / pidigits [Re: ada is getting spanked :(] Gautier
2006-10-28 22:45 ` ada is getting spanked :( Larry Kilgallen
2006-10-29 16:22 ` Leif Holmgren
2006-10-29 17:28 ` Simon Wright
2006-10-29 19:21 ` jtg
2006-10-29 21:33 ` Leif Holmgren
2006-10-31 11:04 ` Harald Korneliussen
2006-11-01 11:28 ` jtg
2006-11-01 14:31 ` Harald Korneliussen
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox