-- -*- M2-comint -*- hash: 6609440623743195266

i1 : X = abstractProjectiveSpace 4

o1 = X

o1 : a flag bundle with subquotient ranks {1, 4}

i2 : X.Base

o2 = point

o2 : an abstract variety of dimension 0

i3 : Y = abstractProjectiveSpace_3 X

o3 = Y

o3 : a flag bundle with subquotient ranks {1, 3}

i4 : Y.Base

o4 = X

o4 : a flag bundle with subquotient ranks {1, 4}

i5 : 
