schubert.lib
LIB "schubert.lib"; variety G = Grassmannian(3,4); def R = G.baseRing; setring R; sheaf S = makeSheaf(G,subBundle); sheaf Q = makeSheaf(G,quotientBundle); sheaf T = S*Q; T; ==> A sheaf of rank 3 ==>