Loïc Grenié on Mon, 16 Dec 2013 22:29:25 +0100


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

Re: bnfinit milestone: degree 100 reached!


2013/12/16 Bill Allombert <Bill.Allombert@math.u-bordeaux1.fr>:
> Dear PARI developers,
>
> I finally managed to compute the bnfinit of a degree-100 polynomial:
> polresultant(('a*x)^25-('a*x)-1,polcyclo(5,'a),'a)
> a.k.a.
> x^100+x^76-4*x^75+x^52-3*x^51+6*x^50+x^28-2*x^27+3*x^26-4*x^25+x^4-x^3+x^2-x+1
> which is named a4/25 in my collezione.
>
> The class number is 1 and the regulator is 2.421833172133607307460472752 e56
>
> The successful run took 5 days and 18 hours.
> I had to double LIMC (Bach constant: 0.3011379739144176005)
> I used an patch that automatically increase BMULT, maxtry_DEP and maxtry_FACT
> when we have exhausted the list of ideals. The starting values were
> 8/20/1000 and the final value were 12/60/1500.

    Hats off !

> This is dedicated to Loïc Grenié, of course. Enjoy!

      ... and to the previous developpers, including Karim and Bill.

             Loïc