X := "xyzt";
Ordering := "LLEX";
Relations := [];
G:= [[[1, "yt"], [-1, "ty"]], [[1, "xt"], [-1, "tx"]], [[1, "xy"], [-1, "ty"]], [[1, "xx"], [-1, "yx"]],
[[1, "tyy"], [-1, "tty"]], [[1, "yyx"], [-1, "tyx"]]];
NCo.MRMB(X, Ordering, Relations, G, 3);
[[""], ["t", "z", "y", "x"], ["tt", "tz", "ty", "tx", "zt", "zz", "zy", "zx", "yz", "yy", "yx", "xz"],
["ttt", "ttz", "tty", "ttx", "tzt", "tzz", "tzy", "tzx", "tyz", "tyx", "txz", "ztt", "ztz", "zty",
"ztx", "zzt", "zzz", "zzy", "zzx", "zyz", "zyy", "zyx", "zxz", "yzt", "yzz", "yzy", "yzx", "yyz",
"yyy", "yxz", "xzt", "xzz", "xzy", "xzx"]]
-------------------------------
|