| LIB "chern.lib";
ring r = 0, (a(1..3), b(1..2)), dp;
// assume a(1), a(2), a(3) are the Chern roots of a vector bundle E
// assume b(1), b(2) are the Chern roots of a vector bundle F
list l=a(1..3);
list L=b(1..2);
// the Chern roots of their direct sum is
print( ChernRootsSum(l, L) );
|