-- -*- M2-comint -*- hash: 1729970042308032170

i1 : X = abstractProjectiveSpace 4

o1 = X

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

i2 : id_X

o2 = a variety map

o2 : a map to X from X

i3 : 
