id _ AbstractVariety -- the identity map of an abstract variety

Synopsis

• Scripted functor: id

• Usage:

  id_X

• Inputs:
  • X, an abstract variety,
• Outputs:
  • the identity map from X to itself

Description

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