up previous next
NC.MRInterreduction

Interreduces a list of polynomials over a finitely presented monoid ring.
Syntax
          
NC.MRInterreduction(X:STRING, Ordering:STRING, Relations:LIST, G:LIST):LIST

          

Description
Please note: The function(s) explained on this page is/are using the ApCoCoAServer. You will have to start the ApCoCoAServer in order to use it/them.

Example
X := "abc";
Ordering := "LLEX";
Relations := [["aa",""], ["bb",""], ["ab","c"], ["ac", "b"], ["cb", "a"]];
G:=[[[1,"ba"]], [[1,"b"],[1,""]], [[1,"c"]]];
NC.MRInterreduction(X, Ordering, Relations, G);

[[[1, "a"]], [[1, "b"], [1, ""]], [[1, "c"]]]
-------------------------------


See Also