projectiveSpaceFan -- the fan of projective n space

• Usage:

  F = projectiveSpaceFan n

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

i1 : F = projectiveSpaceFan 2

o1 = F

o1 : Fan

i2 : rays F

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

              2       3
o2 : Matrix ZZ  <-- ZZ

i3 : maxCones F

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

o3 : List