Re: Fundamental Units Again

[Bill Allombert <allomber@math.u-bordeaux.fr>]

On Sun, Dec 21, 2003 at 03:34:11PM -0500, McLaughlin, James wrote:
> Thanks for the very informative reply. 
> There was one thing I was a little unsure about:
> "However, the algorithm is not warranted to give a result at all if the
> assumption is false."
> 
> Which assumption is meant here?

The assumption is that the set of prime ideals of norm smaller than B
generate the class group, where B=c2*log(D)^2 is the bound used by the 
algorithm.

Bill.