Description
Computes the direct product of
C1 and
C2. This is the cone
{(x,y)  x in C1, y in C2}, in the direct product of the ambient spaces.
See also
directProduct.
i1 : C1 = 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 : C2 = posHull matrix {{1}}
o2 = {ambient dimension => 1 }
dimension of lineality space => 0
dimension of the cone => 1
number of facets => 1
number of rays => 1
o2 : Cone

i3 : C = C1 * C2
o3 = {ambient dimension => 3 }
dimension of lineality space => 0
dimension of the cone => 3
number of facets => 3
number of rays => 3
o3 : Cone

i4 : rays C
o4 =  2 1 0 
 1 2 0 
 0 0 1 
3 3
o4 : Matrix ZZ < ZZ
