-- -*- M2-comint -*- hash: 12305352770209767665

i1 : X = abstractProjectiveSpace_3 point

o1 = X

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

i2 : Y = abstractProjectiveSpace_4 X

o2 = Y

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

i3 : Y.StructureMap

o3 = a variety map

o3 : a map to X from Y

i4 : X.StructureMap * Y.StructureMap

o4 = a variety map

o4 : a map to point from Y

i5 : 
