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

i1 : R = QQ[a,b,c]

o1 = R

o1 : PolynomialRing

i2 : I = ideal (a-b,a-c,b-c)

o2 = ideal (a - b, a - c, b - c)

o2 : Ideal of R

i3 : statePolytope I

o3 = ({| b a |, | c b |, | c a |}, {ambient dimension => 3           })
                                    dimension of lineality space => 0
                                    dimension of polyhedron => 2
                                    number of facets => 3
                                    number of rays => 0
                                    number of vertices => 3

o3 : Sequence

i4 :