Elimination -- eliminating specified variables, and Sylvester resultant

Description

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!

Author

Michael E. Stillman <[email protected]>

Version

This documentation describes version 1.0 of Elimination.

Source code

The source code from which this documentation is derived is in the file Elimination.m2.

Exports

Functions and commands
- "discriminant" -- see discriminant(RingElement,RingElement)
- eliminate
- "resultant" -- see resultant(RingElement,RingElement,RingElement)
- "sylvesterMatrix" -- see sylvesterMatrix(RingElement,RingElement,RingElement)
Methods
- discriminant(RingElement,RingElement)
- "eliminate(List,Ideal)" -- see eliminate
- "eliminate(RingElement,Ideal)" -- see eliminate
- resultant(RingElement,RingElement,RingElement)
- sylvesterMatrix(RingElement,RingElement,RingElement)

For the programmer

The object Elimination is a package.