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

i1 : P = crossPolytope 2

o1 = {ambient dimension => 2           }
      dimension of lineality space => 0
      dimension of polyhedron => 2
      number of facets => 4
      number of rays => 0
      number of vertices => 4

o1 : Polyhedron

i2 : Q = secondaryPolytope P

o2 = {ambient dimension => 4           }
      dimension of lineality space => 0
      dimension of polyhedron => 1
      number of facets => 2
      number of rays => 0
      number of vertices => 2

o2 : Polyhedron

i3 : vertices Q

o3 = | 1/3 1/6 |
     | 1/3 1/6 |
     | 1/6 1/3 |
     | 1/6 1/3 |

              4        2
o3 : Matrix QQ  <--- QQ

i4 :