Macaulay2 » Documentation
Packages » SparseResultants :: SparseResultant
next | previous | forward | backward | up | index | toc

SparseResultant -- the class of all sparse resultants

Description

An object of this class is created by the method sparseResultant, when the input is given by $n+1$ integral matrices $A_0,\ldots,A_n$ with $n$ rows. Such an object behaves like a function that to $n+1$ Laurent polynomials $f_0,\ldots,f_n$ in $n$ variables $x=(x_1,\ldots,x_n)$, with $f_i = \sum_{\omega\in \{columns\ of\ A_i\}} a_{i,\omega} x^{\omega}$, associates their sparse resultant $Res_{A_0,\ldots,A_n}(f_0,\ldots,f_n)$, which is a polynomial in the coefficients $a_{i,\omega}$. An error is thrown if the polynomials $f_i$ do not have the correct form.

Functions and methods returning an object of class SparseResultant:

Methods that use an object of class SparseResultant:

For the programmer

The object SparseResultant is a type, with ancestor classes HashTable < Thing.