|
5.1.12 contract
Syntax:
contract ( ideal_expression, ideal_expression )
Type:
- matrix
Purpose:
- 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.
Example:
See
diff.
|