The preferred way to get the list of tautological sheaves on $F$ is bundles F.
i1 : G = abstractProjectiveSpace 7 o1 = G o1 : a flag bundle with subquotient ranks {1, 7} |
i2 : G.Bundles o2 = (a sheaf, a sheaf) o2 : Sequence |
i3 : rank \ oo o3 = (1, 7) o3 : Sequence |
i4 : X = flagBundle {1,2,3} o4 = X o4 : a flag bundle with subquotient ranks {1..3} |
i5 : X.Bundles o5 = (a sheaf, a sheaf, a sheaf) o5 : Sequence |
i6 : rank \ oo o6 = (1, 2, 3) o6 : Sequence |