imageFan -- computes the fan of the image

Synopsis

• Usage:

  F = imageFan(M,C)

• Inputs:
  • M, a matrix
  • C, a convex rational cone
• Outputs:
  • F, an instance of the type Fan

Description

M must be a matrix from the ambient space of the Cone C to some target space. The imageFan is the common refinement of the images of all faces of C.

i1 : C = coneFromVData matrix {{2,1,-1,-3},{1,1,1,1},{0,1,-1,0}}

o1 = C

o1 : Cone

i2 : M = matrix {{1,0,0},{0,1,0}}

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

              2        3
o2 : Matrix ZZ  <--- ZZ

i3 : F = imageFan(M,C)

o3 = F

o3 : Fan

i4 : rays F

o4 = | -3 -1 1 2 |
     | 1  1  1 1 |

              2        4
o4 : Matrix ZZ  <--- ZZ