Re: [sage-support] Strange results with multivariate resultants

2012-09-20 Thread Julian Rüth
* Georgi Guninski gunin...@guninski.com [2012-09-19 07:34:46 +0300]: According to wikipedia [1] the multivariate resultant or Macaulay's resultant of n homogeneous polynomials in n variables is a polynomial in their coefficients that vanishes when they have a common non-zero solution My

Re: [sage-support] Strange results with multivariate resultants

2012-09-20 Thread luisfe
On Wednesday, September 19, 2012 6:34:52 AM UTC+2, Georgi Guninski wrote: Hi, I may be missing something, but the resultant = 1 confuses me. According to wikipedia [1] the multivariate resultant or Macaulay's resultant of n homogeneous polynomials in n variables is a polynomial in

Re: [sage-support] Strange results with multivariate resultants

2012-09-20 Thread luisfe
On Thursday, September 20, 2012 1:05:56 PM UTC+2, Georgi Guninski wrote: pari disagrees with sage and maxima agrees with it. which way is it? maxima session: (%i12) p1:(x2)*(x3-x4);p2:x2*(x3-2*x4); (%i14) resultant(p1,p2,x1); (%o14) 1 In this

Re: [sage-support] Strange results with multivariate resultants

2012-09-20 Thread Dima Pasechnik
On Thursday, 20 September 2012 19:05:56 UTC+8, Georgi Guninski wrote: pari disagrees with sage and maxima agrees with it. which way is it? maxima session: (%i12) p1:(x2)*(x3-x4);p2:x2*(x3-2*x4); (%i14) resultant(p1,p2,x1); (%o14) 1 (%i15)

Re: [sage-support] Strange results with multivariate resultants

2012-09-20 Thread Georgi Guninski
Thanks all for the replies. Pari devs acknowledged their bug and fixed it in trunk here: http://pari.math.u-bordeaux.fr/archives/pari-dev-1209/msg00034.html On Thu, Sep 20, 2012 at 09:45:14AM -0700, Dima Pasechnik wrote: On Thursday, 20 September 2012 19:05:56 UTC+8, Georgi Guninski

Re: [sage-support] Strange results with multivariate resultants

2012-09-18 Thread Julian Rüth
Hi, I'm not sure if I understand what is counterintuitive about the results. * Georgi Guninski gunin...@guninski.com [2012-09-18 16:55:37 +0300]: sage: K.x1,x2,x3=PolynomialRing(QQ) sage: p1=(x2-1)*(x3+2) sage: p2=(x2-1)*(x3+3) sage: p1.resultant(p2) 1 This is the resultant of p1 and p2