contracts each of the n elements of the second ideal J
by each of the m elements of the first ideal I,
producing an
matrix.
Contraction is defined on monomials by:
where A and B are the multiexponents of the ring variables represented by
.contract is extended bilinearly to all polynomials.