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
|