AbstractVarietyMap * AbstractVarietyMap -- composition of maps of abstract varieties

Synopsis

• Operator: *

• Usage:

  g*f

• Inputs:
  • g, an abstract variety map,
  • f, an abstract variety map,
• Outputs:
  • an abstract variety map, the composition of g and f

Description

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