i1 : X = projectiveBundle' 4 o1 = X o1 : a flag bundle with subquotient ranks {4, 1} |
i2 : F = OO_X(2) ++ OO_X(3) ++ OO_X(4) o2 = F o2 : an abstract sheaf of rank 3 on X |
i3 : Y = projectiveBundle' F o3 = Y o3 : a flag bundle with subquotient ranks {2, 1} |
i4 : dim Y o4 = 6 |
i5 : integral (chern_1 OO_Y(1))^(dim Y) o5 = 1351 |
i6 : bundles X/rank o6 = (4, 1) o6 : Sequence |
Perhaps this should be merged with abstractProjectiveSpace. (The optional arguments are slightly different.)
The object projectiveBundle' is a method function with options.