EliminationMatrices : Table of Contents




ciResDeg  compute a regularity index and partial degrees of the residual resultant over a complete intersection

ciResDegGH  compute a regularity index used for the residual resultant over a complete intersection



degHomPolMap  return the base of monomials in a subset of variables, and the matrix of coefficients of a morphism of free modules f:R(d1)+...+R(dn)>R_d with respect to these variables

detComplex  This function calculates the determinant of a graded ChainComplex with respect to a subset of the variables of the polynomial ring in a fixed degree.



detResDeg  compute a regularity index and partial degrees of the determinantal resultant





Exact  Strategy for functions that uses rank computation.

listDetComplex  This function calculates the list with the determinants of some minors of the maps of a graded ChainComplex with respect to a subset of the variables of the polynomial ring in a fixed degree.


Macaulay  Strategy for eliminationMatrix.

macaulayFormula  returns two matrices such that the ratio of their determinants is the Macaulay resultant

mapsComplex  This function calculates the maps of a graded ChainComplex with respect to a subset of the variables of the polynomial ring in a fixed degree.

maxCol  Returns a submatrix form by a maximal set of linear independent columns.


maxMinor  Returns a maximal minor of the matrix of full rank.


minorsComplex  calculate some minors of the maps of a graded ChainComplex in a subset of variables and fixed degree


Numeric  Strategy for functions that uses rank computation.

regularityVar  computes the CastelnuovoMumford regularity of homogeneous ideals in terms of Betti numbers, with respect to some of the variables of the ring
