|Bill Allombert on Fri, 21 Sep 2012 22:43:29 +0200|
[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]
|Re: polresultant disagrees with sage, maxima and magma|
On Fri, Sep 21, 2012 at 09:10:27PM +0200, Karim Belabas wrote: > * Bill Allombert [2012-09-20 17:57]: > > On Thu, Sep 20, 2012 at 05:05:25PM +0200, Karim Belabas wrote: > > > It should have worked, and this was a bug in PARI. All such examples should be > > > fixed in master HEAD after the following commit: > > > > > > commit 7079c4f7813c582949dea92a3089bf6a6c532738 > > > Author: Karim Belabas <Karim.Belabas@math.u-bordeaux1.fr> > > > Date: Thu Sep 20 16:23:33 2012 +0200 > > > > > > fix: resultant(x,x,y) -> 0 and related problems > > > > > > Original bug report: > > > p1=x2*(x3-x4);p2=x2*(x3-2*x4);polresultant(p1,p2,x1) -> 0. Should be 1 > > > > Should I backport it to pari 2.5.3 ? > > Fine with me. It should be stable enough. :-) Done, Cheers, Bill.