toricGraver(A) or toricGraver(A,R)
The Graver basis for any toric ideal $I_A$ contains (properly) the union of all reduced Groebner basis of $I_A$. Any element in the Graver basis of the ideal is called a primitive binomial.
|
|
If we prefer to store the ideal instead, we may use:
|
|
Note that this last ideal equals the toric ideal $I_A$ since every Graver basis element is actually in $I_A$.
The object toricGraver is a method function with options.