Bill Allombert on Sun, 21 Dec 2003 22:27:16 +0100


[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]

Re: Fundamental Units Again


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.