Elimination -- eliminating specified variables, and Sylvester resultant

This package contains functions to eliminate variables from an ideal (that is, intersect an ideal with a subring generated by certain of the variables), and to compute Sylvester resultants.

It would be nice to implement multivariate resultants, Bezoutians, and sparse resultants. Laurent Buse has written code for this in the past. We hope to provide a package, Resultants, which will do this. If you are willing to help write this, please contact the author if this package!