i1 : X = projectiveBundle 4 o1 = X o1 : a flag bundle with subquotient ranks {1, 4} |
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 {1..2} |
i4 : dim Y o4 = 6 |
i5 : integral (chern_1 OO_Y(1))^(dim Y) o5 = 19981 |
i6 : bundles X/rank o6 = (1, 4) o6 : Sequence |
Perhaps this should be merged with abstractProjectiveSpace. (The optional arguments are slightly different.)
The object projectiveBundle is a method function with options.