|Bill Allombert on Wed, 14 May 2008 22:52:01 +0200|
[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]
|Re: bnfinit perhaps getting stuck?|
On Wed, May 14, 2008 at 08:09:18PM +0000, Phil Carmody wrote: > --- On Wed, 5/14/08, Bill Allombert <Bill.Allombert@math.u-bordeaux1.fr> wrote: > > You are using the stable version. Due to several improvement (in > > particular 2.4.0F4 and the new LLL code) I would suggest > > you try the SVN version but actually, I should rather suggest you > > to give up because I do not think this can finish. > > I'm up for still hacking away at it if it's still needed [task requestor bcc:d] > I don't have SVN, but can grab > Development version: pari-2.4.2.alpha.tar.gz, 2183 KBy, Dec 23 00:58:07 2007 > from the website. We provide a CVS gateway and a web gateway to the SVN repository that should dispense you from using SVN. Version 2.4.2 does not have the new LLL code. > > Using \g1 is generally sufficient and keep the logs readable. > > You can try > > grep cglob <your log> > > or if this is too verbose > > grep needed <your log> > > to get a measure of progress. > > Ah, that's very useful to know. It appears that I was making steady progress: > """ > (more relations needed: 171) > ++++ cglob = 2452: new relation (need 2622) > ++++ cglob = 2453: new relation (need 2622) > ... > ++++ cglob = 2470: new relation (need 2622) > ++++ cglob = 2471: new relation (need 2622) > ^C > """ > > Extrapolating how long I ran that most recent verbose run, and how > long I ran the original, I would have expected to have found 171 > relations. Is the hard and non-deterministic work all done after the > requisite number of relations is found? Not really, but the problem is to find _useful_ relations, and sometime we find a lot of useless relations that artificially inflate the cglob number and slow down the process (that is something I try to fix). Look at the rate the number after 'more relations needed' is decreasing. 171 is not to bad, so maybe you will succeed. I will try it with my patches. Cheers, Bill.