7
$\begingroup$

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

$\endgroup$
3
  • $\begingroup$ 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. $\endgroup$
    – Junkie
    Commented Mar 8, 2012 at 4:04
  • $\begingroup$ Junkie, IMHO the question is about multivariate resultant, rather than about how to eliminate variables in general. $\endgroup$ Commented Mar 8, 2012 at 4:20
  • 2
    $\begingroup$ 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. $\endgroup$
    – rhlewis
    Commented Mar 8, 2012 at 13:56

2 Answers 2

2
$\begingroup$

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/

$\endgroup$
2
  • 3
    $\begingroup$ 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. $\endgroup$ Commented Mar 8, 2012 at 4:18
  • $\begingroup$ Also the polynomials in Maple are univariate, not multivariate $\endgroup$
    – image357
    Commented Aug 17, 2017 at 8:49
2
$\begingroup$

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.

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .