-- -*- M2-comint -*- hash: 17408199811786713566

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 a |, | c b |}, {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 : 
