pp1ProductFan -- the fan of n products of PP^1

Synopsis

• Usage:

  F = pp1ProductFan n

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

Description

Generates the fan of the product of $n$ projective one-spaces. This is the same as the normal fan of the $n$ dimensional hypercube.

i1 : F = pp1ProductFan 2

o1 = F

o1 : Fan

i2 : rays F

o2 = | -1 1 0  0 |
     | 0  0 -1 1 |

              2        4
o2 : Matrix ZZ  <--- ZZ

i3 : maxCones F

o3 = {{1, 3}, {0, 3}, {1, 2}, {0, 2}}

o3 : List

See also

• Fan -- the class of all fans
• hirzebruchFan -- the fan of the n-th Hirzebruch surface
• projectiveSpaceFan -- the fan of projective n space