Resultants : Table of Contents

• Resultants -- A package for computing resultants.
• bezoutianMatrix -- returns a matrix associated to generalized resultants
• ciRes -- returns a matrix corresponding to the residual resultant over a complete intersection
• 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
• cm2Res -- returns a matrix corresponding to the residual resultant over a Cohen-Macaulay codimension 2 base locus
• degHomPolMap -- given a subset of variables 'var' of the polynomial ring R, it returns the base of monomials on these variables, and the matrix of coefficients of a morphism of free modules f:R(d1)+...+R(dn)->R_d with respect to these variables
• degMap -- This function returns the matrix of coefficients of the morphism of free modules 'm' in the variables 'var'
• 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.
• detComplexNum -- 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.
• detRes -- returns a matrix corresponding to the residual resultant over a Cohen-Macaulay codimension 2 base locus
• detResDeg -- compute a regularity index and partial degrees of the determinantal resultant
• 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.
• listDetComplexNum -- 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.
• macaulayFormula -- returns two matrices such that the ratio of their determinants is the Macaulay resultant
• macRes -- returns a matrix associated to 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.
• maxColNum -- Returns a submatrix form by a maximal set of linear independent columns by random evaluation.
• maxMinor -- Returns a maximal minor of the matrix of full rank.
• maxMinorNum -- Returns a maximal minor of the matrix of full rank by random evaluation.
• minorsComplex -- This function calculates 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. The choice of the minors is according to the construction of the determinant of a complex
• minorsComplexNum -- This function calculates 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.
• rankNum -- computes the rank of a matrix by random evaluation.