discreteVanishingIdeal(R,G)
This method computes the ideal in $R$ of homogeneous polynomial relations on the joint probabilities of random variables represented by the vertices of $G$.
Here is a small example that compute the vanishing ideal on the joint probabilities of two independent binary random variables. In this case, this ideal equals the ideal obtained using conditionalIndependenceIdeal.




Here is an example for a graph on four vertices. The random variables a,b,c and d have 2,3,4, and 2 states, respectively.



The vanishing ideal is generated by 84 quadrics, which we don't display.

The object discreteVanishingIdeal is a method function.