From: Mats Weber <Mats.Weber@elca-matrix.ch>
Subject: Re: Bignum modular types in Ada95
Date: 1998/01/30
Date: 1998-01-30T00:00:00+00:00 [thread overview]
Message-ID: <34D1CC6C.A62922A8@elca-matrix.ch> (raw)
In-Reply-To: EnKEtu.KGp@world.std.com
> True, but the fact remains that I can say "type T is range 1..10**10;"
> on some implementations and not others, and that's a portability
> problem. The number "10**10" isn't all *that* big -- we're not talking
> about 1000 bits, here.
OK, but you portably say "type T is range 1 .. 10**9;" and that's good enough
for me (to be accurate, it's not formally potable, but it is portable to any
reasonable machine with a compiler that follows implementation advice).
I think it's a good thing that if you say "type T is range ...", then you will
get the machine's built-in arithmetic.
> I don't care. I'll be happy with an implementation that works. It
> should be efficient for small numbers, and I don't care if it's
> inefficient for big numbers, and _really_ inefficient for _really_ big
> numbers.
Are you talking about supporting
type T is range ...
for bignums, or a package declaring a private bignum type and its operations ?
next prev parent reply other threads:[~1998-01-30 0:00 UTC|newest]
Thread overview: 31+ messages / expand[flat|nested] mbox.gz Atom feed top
1998-01-27 0:00 Bignum modular types in Ada95 Markus Kuhn
1998-01-28 0:00 ` Nick Roberts
1998-01-28 0:00 ` Nick Roberts
1998-02-01 0:00 ` Robert Dewar
1998-02-07 0:00 ` Nick Roberts
1998-02-09 0:00 ` Robert Dewar
1998-01-28 0:00 ` Larry Kilgallen
1998-01-28 0:00 ` Markus Kuhn
1998-01-28 0:00 ` Brian Rogoff
1998-01-29 0:00 ` Markus Kuhn
1998-01-30 0:00 ` Brian Rogoff
[not found] ` <EnIIvn.3zr@world.std.com>
1998-01-29 0:00 ` Mats Weber
[not found] ` <EnKEtu.KGp@world.std.com>
1998-01-30 0:00 ` Mats Weber [this message]
1998-02-01 0:00 ` Robert Dewar
1998-02-01 0:00 ` Robert Dewar
1998-01-30 0:00 ` Markus Kuhn
1998-01-30 0:00 ` Mats Weber
1998-01-30 0:00 ` Markus Kuhn
1998-01-31 0:00 ` Nick Roberts
1998-02-01 0:00 ` Robert Dewar
1998-01-31 0:00 ` Nick Roberts
1998-02-01 0:00 ` Robert Dewar
1998-01-29 0:00 ` Markus Kuhn
1998-01-31 0:00 ` Nick Roberts
1998-02-01 0:00 ` Robert Dewar
1998-02-01 0:00 ` Robert Dewar
1998-02-02 0:00 ` Tarjei T. Jensen
1998-02-02 0:00 ` Robert Dewar
1998-02-03 0:00 ` Tarjei T. Jensen
1998-02-04 0:00 ` Keith Thompson
1998-01-28 0:00 ` Dmitriy Anisimkov
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox