-- -*- M2-comint -*- hash: 12663665070690686154

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

i8 : 
