NC.SetX("xyzt");
F1 := [[1,"xx"], [-1,"yx"]];
F2 := [[1,"xy"], [-1,"ty"]];
F3 := [[1,"xt"], [-1, "tx"]];
F4 := [[1,"yt"], [-1, "ty"]];
G := [F1, F2,F3,F4]; -- over Q (default field), LLEX ordering (default ordering)
NC.LTIdeal(G);
["yt", "xt", "xy", "xx", "tyy", "yyx"]
-------------------------------
NC.SetFp();
NC.LTIdeal(G); -- over F2
["yt", "xt", "xy", "xx", "tyy", "yyx"]
-------------------------------
NC.SetFp(3);
NC.LTIdeal(G); -- over F3
["yt", "xt", "xy", "xx", "tyy", "yyx"]
-------------------------------
|