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
degHomPolMap(Matrix,List,List,ZZ) -- 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
degHomPolMap(Matrix,List,ZZ) -- 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.
detComplex(ZZ,List,ChainComplex) -- 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.
eliminationMatrix(ZZ,List,Matrix) -- returns a matrix corresponding to the determinantal resultant, in particular the Macaulay 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.
listDetComplex(ZZ,List,ChainComplex) -- 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
macaulayFormula(List,Matrix) -- 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.
mapsComplex(ZZ,List,ChainComplex) -- 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.
Numeric -- Strategy for functions that uses rank computation.
regularityVar -- computes the Castelnuovo-Mumford regularity of homogeneous ideals in terms of Betti numbers, with respect to some of the variables of the ring
regularityVar(List,Ideal) -- computes the Castelnuovo-Mumford regularity of homogeneous ideals in terms of Betti numbers, with respect to some of the variables of the ring