up previous next
NC.Interreduction

Interreduces a LIST of polynomials over a free associative K-algebra.
Syntax
          
NC.Interreduction(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 ring environment coefficient field K, alphabet (or indeterminates) X and ordering through the functions NC.SetFp(Prime), NC.SetX(X) and NC.SetOrdering(Ordering), respectively, before calling the function. Default coefficient field is Q. Default ordering is length-lexicographic ordering ("LLEX"). For more information, please check the relevant functions.

Example
NC.SetX("abc");
NC.SetOrdering("ELIM");
G:=[[[1,"ba"]], [[1,"b"],[1,""]], [[1,"c"]]];
NC.Interreduction(G);

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


See Also