NC.SetX("abc");
NC.SetOrdering("ELIM");
NC.RingEnv();
Coefficient ring : Q
Alphabet : abc
Ordering : ELIM
-------------------------------
F1 := [[1,"a"],[1,""]];
F2 := [[1,"b"],[1,"ba"]];
NC.Add(F1,F2); -- over Q
[[1, "ba"], [1, "a"], [1, "b"], [1, ""]]
-------------------------------
NC.SetFp(); -- set default Fp = F2
NC.RingEnv();
Coefficient ring : Fp = Z/(2)
Alphabet : abc
Ordering : ELIM
-------------------------------
NC.Add(F1,F2); -- over F2
[[1, "ba"], [1, "a"], [1, "b"], [1, ""]]
-------------------------------
NC.Add(F1,F1); -- over F2
[ ]
-------------------------------
|