Sage should have generic resultant implementation for multivariate polynomials

[sagetrac-cwitty]

Consider this example, which fails:

R.<x,y> = RR[]
p = x + y
q = x*y
p.resultant(q)

(as reported here: http://groups.google.com/group/sage-support/browse_thread/thread/1d6289cead33d063#)

This is because multivariate resultants are implemented using the Singular pexpect interface, which does not support RR.

A workaround for this particular problem (and a possible basis for an improved version) is:

p.polynomial(x).resultant(q.polynomial(x)) 

That is, fall back to univariate resultants, which are implemented using Pari and are somewhat more generic. (This is still not truly generic, though, since there are Sage rings which have no Pari equivalent.)

CC: @tscrim @videlec @vinklein

Component: algebraic geometry

Keywords: resultant

Author: Frédéric Chapoton

Branch/Commit: 30bd620

Reviewer: Travis Scrimshaw

Issue created by migration from https://trac.sagemath.org/ticket/2693

[miguelmarco]

comment:5

In fact, singular resultants are slow compared to other methods, so it would really be a good idea to write specific sage code for resultants.

See #16749 and #12174 for ideas about it.

Just something like:

def resultant(self, other, variable):
    m = self.sylvester_matrix(other, variable)
    return m.determinant()

Would be both general for any polynomial ring, and faster than the current implementation. And of course, there could be a lot of cases where things can be done much faster, using specific backends where they are better.

[fchapoton]

Changed keywords from none to resultant

[fchapoton]

Commit: add07d3

[fchapoton]

New commits:

add07d3

trac 2693 resultants for polynomials over inexact rings

[fchapoton]

Author: Frédéric Chapoton

[fchapoton]

Branch: u/chapoton/2693

[fchapoton]

comment:8

green bot, please review

[fchapoton]

comment:9

hmm, the second doctest is more about univariate polynomials. Maybe it should go there ?

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. This was a forced push. New commits:

30bd620

trac 2693 resultants for polynomials over inexact rings

[sagetrac-git]

Changed commit from add07d3 to 30bd620

[fchapoton]

comment:11

ok, test is now at the right place.

[fchapoton]

comment:12

and the bot is green.

[tscrim]

comment:13

LGTM.

[tscrim]

Reviewer: Travis Scrimshaw

[vbraun]

Changed branch from u/chapoton/2693 to 30bd620