i1 : X = abstractProjectiveSpace_3 point o1 = X o1 : a flag bundle with subquotient ranks {1, 3} |
i2 : Y = abstractProjectiveSpace_2 X o2 = Y o2 : a flag bundle with subquotient ranks {1..2} |
i3 : Z = abstractProjectiveSpace_1 Y o3 = Z o3 : a flag bundle with subquotient ranks {2:1} |
i4 : Z/Z o4 = a variety map o4 : a map to Z from Z |
i5 : Z/Y o5 = a variety map o5 : a map to Y from Z |
i6 : Z/X o6 = a variety map o6 : a map to X from Z |
i7 : Z/point o7 = a variety map o7 : a map to point from Z |