schubert.lib
LIB "schubert.lib"; variety G = Grassmannian(3,5); def r = G.baseRing; setring r; sheaf S = makeSheaf(G,subBundle); sheaf Q = makeSheaf(G,quotientBundle); sheaf D = S + Q; D; ==> A sheaf of rank 5 ==> D.ChernCharacter == rankSheaf(D); ==> 1 totalChernClass(D) == 1; ==> 1