up previous next
NC.Interreduction

Interreduce a list (set) of polynomials in a free monoid ring.

Note that, given an admissible ordering Ordering, a set of non-zero polynomial G is called interreduced w.r.t. Ordering if no element of Supp(g) is contained in LT(G\{g}) for all g in G.
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 fieldK, alphabet (or set of indeterminates) X and ordering via the functions NC.SetFp, NC.SetX and NC.SetOrdering, respectively, before calling the function. The default coefficient field is Q. The 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