-- -*- M2-comint -*- hash: 6100097560593113381

i1 : P = hypercube 3

o1 = P

o1 : Polyhedron

i2 : f = first faces(1,P)

o2 = ({0, 2, 4, 6}, {})

o2 : Sequence

i3 : f = convexHull (vertices P)_(f#0)

o3 = f

o3 : Polyhedron

i4 : fv = polarFace(f, P)

o4 = fv

o4 : Polyhedron

i5 : vertices fv

o5 = | 1 |
     | 0 |
     | 0 |

              3       1
o5 : Matrix QQ  <-- QQ

i6 : P = hypercube 3

o6 = P

o6 : Polyhedron

i7 : polarFace(P, P)

o7 = Polyhedron{...1...}

o7 : Polyhedron

i8 : 
