| LIB "schubert.lib";
variety G = Grassmannian(3,5);
def r = G.baseRing;
setring r;
sheaf S = makeSheaf(G,subBundle);
sheaf B = dualSheaf(S)^2;
sheaf B3 = dualSheaf(S)^3;
sheaf B5 = dualSheaf(S)^5;
variety PB = projectiveBundle(B);
def R = PB.baseRing;
setring R;
sheaf Q = makeSheaf(PB,QuotientBundle);
sheaf V = dualSheaf(Q)*B3;
sheaf A = B5 - V;
A;
==> A sheaf of rank 11
==>
|