toricMarkov(A) or toricMarkov(A, InputType => "lattice") or toricMarkov(A,R)
Suppose we would like to comput the toric ideal defining the variety parametrized by the following matrix:

Since there are 4 columns, the ideal will live in the polynomial ring with 4 variables.


Note that rows of M are the exponents of minimal generators of $I_A$. To get the ideal, we can do the following:

Alternately, we might wish to give a lattice basis ideal instead of the matrix A. The lattice basis will be specified by a matrix, as follows:



We can see that the two ideals are equal:

Also, notice that instead of the sequence of commands above, we could have used the following:

The object toricMarkov is a method function with options.