Description
Computes the direct product of
P and
C. This is the polyhedron
{(p,c) | p in P, x in C}, in the direct product of the ambient spaces.
See also
directProduct.
i1 : P =convexHull matrix {{1},{-1}}
o1 = P
o1 : Polyhedron
|
i2 : C = coneFromVData matrix {{1,2},{2,1}}
o2 = C
o2 : Cone
|
i3 : Q = P * C
o3 = Q
o3 : Polyhedron
|
i4 : (vertices Q,rays Q)
o4 = (| 1 |, | 0 0 |)
| -1 | | 0 0 |
| 0 | | 2 1 |
| 0 | | 1 2 |
o4 : Sequence
|