next | previous | forward | backward | up | top | index | toc | Macaulay2 website
Polyhedra :: directProduct(Cone,Cone)

directProduct(Cone,Cone) -- computes the direct product of polyhedra and cones

Synopsis

Description

The directProduct of X and Y is the polyhedron {(x,y) | x in X, y in Y} in the direct product of the ambient spaces. If X and Y are both cones, then the direct product is again a cone and the output is then also given as a Cone, otherwise as a Polyhedron.

i1 : P = hypercube 1

o1 = P

o1 : Polyhedron
i2 : Q = hypercube 2

o2 = Q

o2 : Polyhedron
i3 : directProduct(P,Q) == hypercube 3

o3 = true

See also Cone * Cone, Cone * Polyhedron, Polyhedron * Cone, and Polyhedron * Polyhedron.