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
P-v. If
P is compact, i.e. a polytope, then the normalFan is complete.
i1 : P = convexHull matrix{{1,0,0},{0,1,0}}
o1 = P
o1 : Polyhedron
|
i2 : F = normalFan P
o2 = F
o2 : Fan
|
i3 : raysF = rays F
o3 = | 1 -1 0 |
| 0 -1 1 |
2 3
o3 : Matrix ZZ <--- ZZ
|
i4 : apply(maxCones F, mc -> raysF_mc)
o4 = {| 1 0 |, | -1 0 |, | 1 -1 |}
| 0 1 | | -1 1 | | 0 -1 |
o4 : List
|