StructureMap -- get the structure map of an abstract variety

i1 : F = abstractProjectiveSpace 2

o1 = F

o1 : a flag bundle with subquotient ranks {1..2}

i2 : f = F.StructureMap

o2 = f

o2 : a map to point from F

i3 : source f

o3 = F

o3 : a flag bundle with subquotient ranks {1..2}

i4 : f_* OO_F

o4 = a sheaf

o4 : an abstract sheaf of rank 1 on point

i5 : f_* OO_F(1)

o5 = a sheaf

o5 : an abstract sheaf of rank 3 on point

i6 : target f

o6 = point

o6 : an abstract variety of dimension 0

i7 : f^* OO_point

o7 = a sheaf

o7 : an abstract sheaf of rank 1 on F