hirzebruchFan -- the fan of the n-th Hirzebruch surface

Synopsis

• Usage:

  F = hirzebruchFan n

• Inputs:
  • n, an integer, positive
• Outputs:
  • F, an instance of the type Fan

Description

Generates the fan of the $n$-th Hirzebruch surface.

i1 : F = hirzebruchFan 3

o1 = {ambient dimension => 2         }
      number of generating cones => 4
      number of rays => 4
      top dimension of the cones => 2

o1 : Fan

i2 : rays F

o2 = {| 0  |, | 0 |, | -1 |, | 1 |}
      | -1 |  | 1 |  | 3  |  | 0 |

o2 : List

See also

• Fan -- the class of all fans
• hirzebruch -- computes the fan of the r-th Hirzebruch surface
• pp1ProductFan -- the fan of n products of PP^1
• projectiveSpaceFan -- the fan of projective n space