Documentation

Lists of monomials indexing the Macaulay Matrix.

This function splits the list of monomials in $n+1$ list of monomials. The monomials of first list are divisible by $x_{1}^d_{1}$ and so one up to $x_{n}^{d_{n}}$. The remaining monomials are stored in the same order in the last list. This division is used in Macaulay's construction of the resultant in order to obtain a square matrix, whose columns are indexed by all the monomials of degree $mu = sum(di) - n$.

Parameters:

P - polynomial in n variables.
di - array of degrees.
n - number of variables.
MacBasis - n+1 array of polynomials that represent the lists.