Description
The
normalFan of a
Polyhedron is the fan generated by the cones
C_v for all vertices
v of the
Polyhedron, where
C_v is the dual Cone of the positive Hull of
Pv. If
P is compact, i.e. a polytope, then the normalFan is complete.
i1 : P = convexHull matrix{{1,0,0},{0,1,0}}
o1 = {ambient dimension => 2 }
dimension of lineality space => 0
dimension of polyhedron => 2
number of facets => 3
number of rays => 0
number of vertices => 3
o1 : Polyhedron

i2 : F = normalFan P
o2 = {ambient dimension => 2 }
number of generating cones => 3
number of rays => 3
top dimension of the cones => 2
o2 : Fan

i3 : apply(maxCones F,rays)
o3 = { 1 1 ,  1 0 ,  1 0 }
 0 1   0 1   1 1 
o3 : List
