Description
The secondary polytope parametrises the regular cell decompositions of a polytope. See ...
to be added.
i1 : P = crossPolytope 2
o1 = {ambient dimension => 2 }
dimension of lineality space => 0
dimension of polyhedron => 2
number of facets => 4
number of rays => 0
number of vertices => 4
o1 : Polyhedron

i2 : Q = secondaryPolytope P
o2 = {ambient dimension => 4 }
dimension of lineality space => 0
dimension of polyhedron => 1
number of facets => 2
number of rays => 0
number of vertices => 2
o2 : Polyhedron

i3 : vertices Q
o3 =  1/3 1/6 
 1/3 1/6 
 1/6 1/3 
 1/6 1/3 
4 2
o3 : Matrix QQ < QQ
