| LIB "chern.lib";
ring r=0, (a(1..2), b(1..3)), dp;
list l=a(1..2);
list L=b(1..3);
// Let E be a vector bundle with Chern roots a(1). a(2),
// let F be a vector bundle with CHern roots b(1), b(2), b(3).
// Then the Chern roots of Hom(E, F) are
print(ChernRootsHom(l, L));
==> [1]:
==> -a(1)+b(1)
==> [2]:
==> -a(1)+b(2)
==> [3]:
==> -a(1)+b(3)
==> [4]:
==> -a(2)+b(1)
==> [5]:
==> -a(2)+b(2)
==> [6]:
==> -a(2)+b(3)
|