A = matrix "1,1,1,1; 1,2,3,4" |
toricGroebner(A) |
Note that the output of the command is a matrix whose rows are the exponents of the binomials that for a Groebner basis of the toric ideal IA. As a shortcut, one can ask for the output to be an ideal instead:
R = QQ[a..d] |
toricGroebner(A,R) |
4ti2 offers the use of weight vectors representing term orders, as follows:
toricGroebner(A,Weights=>{1,2,3,4}) |
It seems that some versions of 4ti2 do not pick up on the weight vector. It may be better to run gb computation in M2 directly with specified weights.