-- -*- M2-comint -*- {* hash: 1259852223 *}

i1 : G = flagBundle({2,3})    -- Grassmannian of planes in P4

o1 = G

o1 : a flag bundle with ranks {2, 3}

i2 : (S,Q) = G.Bundles        -- Q = rank 3 tautological quotient bundle

o2 = (S, Q)

o2 : Sequence

i3 : B = symmetricPower(2,Q)  -- The bundle of quadratic forms on the variable plane

o3 = B

o3 : an abstract sheaf of rank 6 on G

i4 : X = projectiveBundle(dual B, VariableNames => {,{z}})

o4 = X

o4 : a flag bundle with ranks {5, 1}

i5 : A = symmetricPower_5 Q - symmetricPower_3 Q ** OO(-z)

o5 = A

o5 : an abstract sheaf of rank 11 on X

i6 : integral chern A

o6 = 609250

o6 : QQ[]

i7 :