Vars -- give a set of variables for the polynomial ring where the object created will live

Synopsis

• Usage:

  symbolicSlackMatrix(S, Vars => {x_1..x_10})

  slackIdeal(V, Vars => {a..z})

  cycleIdeal(M, Vars => {A, B, S, T})

  graphicIdeal(P, Vars => {y_(1, 1)..y_(5, 4)})

  universalIdeal(M, Vars => vars{3, 5, 7})

  reconstructSlackMatrix(S, {{0,1,2}}, Vars => {x})

  reducedSlackMatrix(S, Vars => {a,b,c,d,e,f,g,h,j,k,m,p})

Description

See also

• symbolicSlackMatrix -- computes the symbolic slack matrix
• slackIdeal -- computes the slack ideal
• cycleIdeal -- constructs the cycle ideal of a realization
• graphicIdeal -- creates the toric ideal of the non-incidence graph of a polytope
• universalIdeal -- computes the universal realization ideal of a matroid
• reconstructSlackMatrix -- a list of facet labels that make up a flag in a polytope
• reducedSlackMatrix -- a reduced slack matrix of a polytope
• PolynomialRing -- the class of all ordered monoid rings
• vars -- variables

Functions with optional argument named Vars :

• cycleIdeal(...,Vars=>...) -- specifies the variables to use to create the underlying ring of the ideal
• graphicIdeal(...,Vars=>...) -- specifies the variables to use to create the underlying ring of the ideal
• reconstructSlackMatrix(...,Vars=>...) -- specifies the variables to use to create the underlying ring of the ideal
• reducedSlackMatrix(...,Vars=>...) -- specifies the variables to use to create the underlying ring of the ideal
• slackIdeal(...,Vars=>...) -- specifies the variables to use to create the underlying ring of the ideal
• symbolicSlackMatrix(...,Vars=>...) -- specifies the variables to use to create the underlying ring of the matrix
• universalIdeal(...,Vars=>...) -- specifies the variables to use to create the underlying ring of the ideal