-- -*- M2-comint -*- {* hash: -590351913 *} i1 : P = hypercube 1 o1 = {ambient dimension => 1 } dimension of lineality space => 0 dimension of polyhedron => 1 number of facets => 2 number of rays => 0 number of vertices => 2 o1 : Polyhedron i2 : Q = hypercube 2 o2 = {ambient dimension => 2 } dimension of lineality space => 0 dimension of polyhedron => 2 number of facets => 4 number of rays => 0 number of vertices => 4 o2 : Polyhedron i3 : directProduct(P,Q) == hypercube 3 o3 = true i4 :