Welcome to MathOverflow

Question

3

Are there any software to computer resultant for a system of equations (more than 2) with more than 2 variables?

flag	asked Mar 8 2012 at 2:32 Qiuryaq 55●3

	Fermat should do this home.bway.net/lewis And I think Magma can too, via either eliminating variables sequentially, or possibly with EliminationIdeal. They have an online calculator, if the problem is not too bulky. – Junkie Mar 8 2012 at 4:04
	Junkie, IMHO the question is about multivariate resultant, rather than about how to eliminate variables in general. – Dima Pasechnik Mar 8 2012 at 4:20
	If you mean multivariate polynomial resultant, then the best method is the Dixon Resultant (going back to Bezout). There is an expository article here: fordham.academia.edu/RobertLewis/Papers This is for exact symbolic computation. It probably won't work if there are more than, say, 10 equations. – rhlewis Mar 8 2012 at 13:56

Grant Rotskoff · Accepted Answer · 2012-03-08 03:49:14Z UTC

1

Maple will do it.

http://www.maplesoft.com/support/help/AddOns/view.aspx?path=Algebraic/Resultant

You can also do it in C, or Matlab with MARS:

http://gamma.cs.unc.edu/MARS/

answered Mar 8 2012 at 3:49

Grant Rotskoff
353●3●9

Maple's docs say it's for resultant of two polynomials with coefficients being algebraic numbers. Looks a bit different from the original question to me. – Dima Pasechnik Mar 8 2012 at 4:18

Alexander Woo · Answer 2 · 2012-03-08 03:57:02Z UTC

1

Singular and Macaulay2 do it according to the documentation, though I haven't personally tried using either of them for this purpose. They are likely to be faster than Maple; I don't know about MARS.

answered Mar 8 2012 at 3:57

Alexander Woo
1,615●1●5●14

any software to compute multivariable resultant?

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

2 Answers

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.