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.

Citation

If you have used this package in your research, please cite it as follows:

@misc{EliminationSource,
  title = {{Elimination: elimination of variables. Version~1.0}},
  author = {Michael E. Stillman},
  howpublished = {A \emph{Macaulay2} package available at
    \url{https://github.com/Macaulay2/M2/tree/master/M2/Macaulay2/packages}}
}

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, defined in Elimination.m2.

The source of this document is in Elimination.m2:149:0.