up previous next
NC.MRAdd

Addition of two polynomials over a monoid ring.
Syntax
          
NC.MRAdd(X:STRING, Ordering:STRING, R: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.

Example
X := "abc";  
Ordering := "LLEX";  
Relations := [["aa",""], ["bb",""], ["ab","c"], ["ac", "b"], ["cb", "a"]];  
F1 := []; -- F1=0
F2 := []; -- F2=0
NC.MRAdd(X, Ordering, Relations, F1,F2);
[ ]
-------------------------------

X := "abc";  
Ordering := "LLEX";  
Relations := [["aa",""], ["bb",""], ["ab","c"], ["ac", "b"], ["cb", "a"]];  
F1 := []; -- F1=0  
F2 := [[1,"b"],[1,"ba"]]; -- F2=b+ba
NC.MRAdd(X, Ordering, Relations, F1,F2);
[[1, "ba"], [1, "b"]]
-------------------------------

X := "abc";   
Ordering := "LLEX";   
Relations := [["aa",""], ["bb",""], ["ab","c"], ["ac", "b"], ["cb", "a"]];   
F1 := [[1,"a"],[1,""]]; -- F1=a+1  
F2 := [[1,"b"],[1,"ac"]]; -- F2=b+ac=2b 
NC.MRAdd(X, Ordering, Relations, F1,F2);
[[1, "a"], [2, "b"], [1, ""]]
-------------------------------


See Also