target(AbstractVarietyMap) -- the target of a map of abstract varieties

Synopsis

• Function: target

• Usage:

  target f

• Inputs:
  • f, an abstract variety map
• Outputs:
  • an abstract variety, the target of f

Description

i1 : X = abstractProjectiveSpace 4

o1 = X

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

i2 : f = X.StructureMap

o2 = f

o2 : a map to point from X

i3 : target f

o3 = point

o3 : an abstract variety of dimension 0