Top
Back: coeffs
Forward: datetime
FastBack: Functions and system variables
FastForward: Control structures
Up: Functions
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

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.


Top Back: coeffs Forward: datetime FastBack: Functions and system variables FastForward: Control structures Up: Functions Top: Singular Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 3-1-6, Dec 2012, generated by texi2html.