-- -*- M2-comint -*- hash: 9629050924337307646

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 : 
