up previous next
NC.MRLT

Leading term of a polynomial over a finitely presented monoid ring.
Syntax
          
NC.MRLT(X:STRING, Ordering:STRING, Relations:LIST, F:LIST):STRING

          

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"]]; 
F := [[1,"a"],[2,"abc"],[3,"cc"]]; 
NC.MRLT(X, Ordering, Relations, F);
cc
-------------------------------
NC.MRLT(X, Ordering, Relations, []);


See Also