John Cremona on Thu, 20 Sep 2012 18:05:16 +0200


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

Re: polresultant disagrees with sage, maxima and magma


On 20 September 2012 16:56, Bill Allombert
<Bill.Allombert@math.u-bordeaux1.fr> wrote:
> On Thu, Sep 20, 2012 at 03:19:52PM +0100, John Cremona wrote:
>>
>> I don't think this is a good enough answer (sorry, Bill!).    I know
>> that there are reasons for pari's variable priorities, and I have
>> personally been entertained by hem for many years,  but  if
>> "polresultant(p1,p2,x1)" is to correspond to any mathematically
>> correct resultant function then it has to be independent of that
>> (invisible) priority.
>
> I agree with you, I was just pointing out the discrepancy!

Sure.

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

If it is simple to do, and if you are doing the same for other minor
bigfixes, and if 2.6.0 is not due out soon, then yes.  For myself, I
am already using pre-releases of 2.6.0 anyway (and have been for 8
months) on account of the wonderful ellheegner function!

John

> Cheers,
> Bill.
>