T = graphicIdeal V
T = graphicIdeal P
T = graphicIdeal S
T = graphicIdeal M
The graphic ideal associated to a polytope is the toric ideal of the vector configuration consisting of the columns of the vertexedge incidence matrix of the nonincidence (of vertices and facets) graph of the polytope.


If S is not a symbolic slack matrix, the ideal will have variables indexed as in symbolicSlackMatrix (from left to right in order by rows of S).
The object graphicIdeal is a method function with options.