schubert.lib
LIB "schubert.lib"; variety G = Grassmannian(2,4); def R = G.baseRing; setring R; sheaf S = makeSheaf(G,subBundle); totalSegreClass(S); ==> q(2)+q(1)+1