|  |  D.15.4.49 rHRR Procedure from librarychern.lib(see  chern_lib).
 
Example:Usage:
rHRR( N, ch, td); N integer, ch, td lists of polynomials
Return:
polynomial
Purpose:
computes the the main ingredient of the right-hand side
of the Hirzebruch-Riemann-Roch formula
Note:
in order to get the right-hand side of the HRR formula
one needs to be able to compute the degree of the output of this procedure
 
 |  | LIB "chern.lib";
ring r=0, (td(0..3), ch(0..3)), dp;
// Let ch(0), ch(1), ch(2), ch(3) be the terms of the Chern character
// of a vector bundle E on a 3-fold X.
list c = ch(0..3);
// Let td(0), td(1), td(2), td(3) be the terms of the Todd class of X.
list t = td(0..3);
// Then the highest term of the product ch(E).td(X) is:
print( rHRR(3, c, t) );
==> td(3)*ch(0)+td(2)*ch(1)+td(1)*ch(2)+td(0)*ch(3)
 | 
 
 |