Bill Allombert on Tue, 17 Feb 2015 16:55:07 +0100


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

Re: hyperellcharpoly for y^2=x^(2*g+2)+...


On Sat, Feb 14, 2015 at 06:49:29PM +0100, Bill Allombert wrote:
> Dear PARI developpers,
> 
> I have made an improvement to the GP function hyperellcharpoly()
> so that now it also handles polynomials of even degrees.
> 
> ? hyperellcharpoly((x^6-18*x^3-27)*Mod(1,7))
> %1 = x^4-4*x^3+18*x^2-28*x+49

Also, Karim has suggested to allow more general equations
y^2+Q(x)*y = P(x) and to uniformize with genus2red().

We plan to allow 
hyperellcharpoly(P) and genus2red(P) for y^2 = P(x)
and
hyperellcharpoly([P,Q]) and genus2red([P,Q]) for y^2+Q(x)*y = P(x)
and to deprecate
genus2red(Q,P).

Cheers,
Bill.