Top
Back: 5.1.10 coeffs
Forward: 5.1.12 dbprint
FastBack: 5. Functions and system variables
FastForward: 6. Tricks and pitfalls
Up: 5.1 Functions
Top: Singular 2-0-4 Manual
Contents: Table of Contents
Index: F. Index
About: About This Document

5.1.11 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 a m x n matrix.
Contraction is defined on monomials by:

\begin{displaymath}{\rm contract}(x^A , x^B) := \cases{ x^{(B-A)}, &if $B\ge A$ componentwise\cr 0,&otherwise.\cr}\end{displaymath}

where A and B are the multiexponents of the ring variables represented by $x$. contract is extended bilinearly to all polynomials.

Example:
 
  ring r=0,(a,b,c,d),dp;
  ideal I=a2,a2+bc,abc;
  ideal J=a2-bc,abcd;
  print(contract(I,J));
→ 1,0, 
→ 0,ad,
→ 0,d

See diff.

Top Back: 5.1.10 coeffs Forward: 5.1.12 dbprint FastBack: 5. Functions and system variables FastForward: 6. Tricks and pitfalls Up: 5.1 Functions Top: Singular 2-0-4 Manual Contents: Table of Contents Index: F. Index About: About This Document
            User manual for Singular version 2-0-4, October 2002, generated by texi2html.