-- -*- M2-comint -*- {* hash: 693063449 *}

i1 : P = hypercube 3

o1 = {ambient dimension => 3           }
      dimension of lineality space => 0
      dimension of polyhedron => 3
      number of facets => 6
      number of rays => 0
      number of vertices => 8

o1 : Polyhedron

i2 : Q = crossPolytope 3

o2 = {ambient dimension => 3           }
      dimension of lineality space => 0
      dimension of polyhedron => 3
      number of facets => 8
      number of rays => 0
      number of vertices => 6

o2 : Polyhedron

i3 : contains(Q,P)

o3 = false

i4 : contains(P,Q)

o4 = true

i5 : C = posHull matrix {{1,0,0},{0,1,0},{0,0,1}};

i6 : contains(C,P)

o6 = false

i7 : P = affineImage(P,matrix{{1},{1},{1}})

o7 = {ambient dimension => 3           }
      dimension of lineality space => 0
      dimension of polyhedron => 3
      number of facets => 6
      number of rays => 0
      number of vertices => 8

o7 : Polyhedron

i8 : contains(C,P)

o8 = true

i9 :