|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.