contract ( ideal_expression
- contracts each of the n elements of the second ideal J
by each of the m elements of the first ideal I,
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.