Description
Computes the direct product of
C and
P. This is the polyhedron
{(c,p)  c in C, p in P}, in the direct product of the ambient spaces.
See also
directProduct.
i1 : C = posHull matrix {{1,2},{2,1}}
o1 = {ambient dimension => 2 }
dimension of lineality space => 0
dimension of the cone => 2
number of facets => 2
number of rays => 2
o1 : Cone

i2 : P =convexHull matrix {{1},{1}}
o2 = {ambient dimension => 2 }
dimension of lineality space => 0
dimension of polyhedron => 0
number of facets => 1
number of rays => 0
number of vertices => 1
o2 : Polyhedron

i3 : Q = C * P
o3 = {ambient dimension => 4 }
dimension of lineality space => 0
dimension of polyhedron => 2
number of facets => 3
number of rays => 2
number of vertices => 1
o3 : Polyhedron

i4 : (vertices Q,rays Q)
o4 = ( 0 ,  2 1 )
 0   1 2 
 1   0 0 
 1   0 0 
o4 : Sequence
