> grass(3,4,d,all):
i1 : Gd = flagBundle({1,3}, VariableNames => {,"d"}) o1 = Gd o1 : a flag bundle with subquotient ranks {1, 3} |
i2 : (Sd,Qd) = bundles Gd o2 = (Sd, Qd) o2 : Sequence |
> Proj(f,dual(symm(2,Qd)),e):
i3 : f = projectiveBundle'(dual symmetricPower_2 Qd, VariableNames => {,{e}}) o3 = f o3 : a flag bundle with subquotient ranks {5, 1} |
> integral(Gd,lowerstar(f,(2*d1+e)^8)); 92
i4 : integral (2*d1 + e)^8 o4 = 92 |