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
|