[Axiom-math] multivariate resultants

[Martin Rubey]

Dear all,

is there anybody out there interested in implementing multivariate resultants?
Ioannis Emiris has good algorithms, 

http://www-sop.inria.fr/galaad/logiciels/emiris/soft_alg.html

implemented in C (incres) and maple ("multires"). There also is a library 

http://www-sop.inria.fr/galaad/logiciels/synaps/

which contains an implementation of one of his algorithms. Finally, he pointed
me to an algorithm by A. Khetan, which would actually be the one best suited
for my needs, it works however only for three polynomials and may be thus of
less interest to the Axiom project. I'd need such a thing for my guessing
package... :-)

However, I'm lacking time and expertise, so maybe somebody could help me
out. Axiom would certainly benefit a great deal!

Martin

PS: a different, maybe easier route would be to call his C code from within
axiom, but I have no idea how to do this.