Home Online Manual
Top
Back: chProd
Forward: chProdL
FastBack:
FastForward:
Up: chern_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.15.4.19 chProdE

Procedure from library chern.lib (see chern_lib).

Usage:
chProdE(c, C); c, C lists of polynomials

Return:
list of polynomials

Purpose:
computes the list of Chern classes of the product
of two vector bundles in terms of their Chern clases

Note:
makes sense only for (lists of) polynomials;
uses elimination, hence very inefficient;
included only for comparison with chProd(...)

Example:
 
LIB "chern.lib";
ring H = 0, ( c(1..3), C(1..2) ), dp;
list l=c(1..3);
list L=C(1..2);
// the Chern classes of the tensor product of a vector bundle E of rank 3
// with Chern classes c(1), c(2), c(3)
// and a vector bundle F of rank 2 with Chern classes C(1) and C(2):
print( chProdE(l,  L) );
==> [1]:
==>    2*c(1)+3*C(1)
==> [2]:
==>    c(1)^2+5*c(1)*C(1)+3*C(1)^2+2*c(2)+3*C(2)
==> [3]:
==>    2*c(1)^2*C(1)+4*c(1)*C(1)^2+C(1)^3+2*c(1)*c(2)+4*c(2)*C(1)+4*c(1)*C(2)\
   +6*C(1)*C(2)+2*c(3)
==> [4]:
==>    c(1)^2*C(1)^2+c(1)*C(1)^3+3*c(1)*c(2)*C(1)+3*c(2)*C(1)^2+2*c(1)^2*C(2)\
   +6*c(1)*C(1)*C(2)+3*C(1)^2*C(2)+c(2)^2+2*c(1)*c(3)+3*c(3)*C(1)+3*C(2)^2
==> [5]:
==>    c(1)*c(2)*C(1)^2+c(2)*C(1)^3+2*c(1)^2*C(1)*C(2)+2*c(1)*C(1)^2*C(2)+c(2\
   )^2*C(1)+2*c(1)*c(3)*C(1)+3*c(3)*C(1)^2+2*c(1)*c(2)*C(2)+2*c(1)*C(2)^2+3*\
   C(1)*C(2)^2+2*c(2)*c(3)-6*c(3)*C(2)
==> [6]:
==>    c(1)*c(3)*C(1)^2+c(3)*C(1)^3+c(1)*c(2)*C(1)*C(2)+c(2)*C(1)^2*C(2)+c(1)\
   ^2*C(2)^2+c(1)*C(1)*C(2)^2+c(2)*c(3)*C(1)+c(2)^2*C(2)-2*c(1)*c(3)*C(2)-3*\
   c(3)*C(1)*C(2)-2*c(2)*C(2)^2+C(2)^3+c(3)^2