X := "abc";
Ordering := "LLEX";
Relations := [["aa",""], ["bb",""], ["ab","c"], ["ac", "b"], ["cb", "a"]];
F1 := []; -- F1=0
F2 := []; -- F2=0
NCo.MRAdd(X, Ordering, Relations, F1,F2);
[ ]
-------------------------------
F3 := [[1,"b"],[1,"ba"]]; -- F3=b+ba
NCo.MRAdd(X, Ordering, Relations, F1,F3);
[[1, "ba"], [1, "b"]]
-------------------------------
NCo.SetFp(2);
F4 := [[1,"a"],[1,""]]; -- F4=a+1
F5 := [[1,"b"],[1,"ac"]]; -- F5=b+ac=(by applying Relations)=>2b=0
NCo.MRAdd(X, Ordering, Relations, F4,F5);
[[1, "a"], [1, ""]]
-------------------------------
|