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 |