|  |  D.15.4.12 chHE Procedure from librarychern.lib(see  chern_lib).
 
Example:Usage:
chHE(c); c list of polynomials
Return:
polynomial
Purpose:
computes the highest relevant term of the Chern character
Note:
uses the elimination and is extremely inefficient,
is included just for comparison with chAll(c)
 
 |  | LIB "chern.lib";
ring r = 0, (c(1..3)), dp;
list l=c(1..3);
//the third degree term of the Chern character
print( chHE(l) );
==> 1/6*c(1)^3-1/2*c(1)*c(2)+1/2*c(3)
 | 
 
 |