up previous next
NC.MRNR

Normal remainder of a polynomial with respect to a list of polynomials in a finitely presented monoid ring.
Syntax
          
NC.MRNR(X:STRING, Ordering:STRING, Relations:LIST, F: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.

Please set coefficient field via the function NC.SetFp (or NC.UnsetFp) before calling this function. The default coefficient field is Q. For more information, please check the relevant function.

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


See Also