up previous next
NC.MRMultiply

Multiplication of two polynomials in a finitely presented monoid ring.
Syntax
          
NC.MRMultiply(X:STRING, Ordering:STRING, Relations:LIST, F1:LIST, F2: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"]]; 
F1 := [[1,"a"],[1,""]]; 
F2 := [[1,"b"],[1,"ba"]]; 
NC.MRMultiply(X, Ordering, Relations, F1, F2);
[[1, "ba"], [1, "ca"], [1, "b"], [1, "c"]]
-------------------------------
NC.MRMultiply(X, Ordering, Relations, F2, F1);
[[2, "ba"], [2, "b"]]
-------------------------------
Relations := [["aa",""], ["bb",""], ["ab","c"], ["ac", "b"], ["cb", "a"]];  
F1 := [[1,"a"],[1,""]];  
NC.MRMultiply(X, Ordering, Relations, F1, []); -- F1*0
[ ]
-------------------------------


See Also