NC.NR |
Syntax |
NC.NR(F:LIST, Polynomials:LIST):LIST |
Description |
Example |
NC.SetX("abc"); NC.RingEnv(); Coefficient ring : Q Alphabet : abc Ordering : LLEX ------------------------------- F:=[[1,"ab"],[1,"aca"],[1,"bb"],[1,"bab"],[1,""]]; F1 := [[1,"a"],[1,"c"]]; F2 := [[1,"b"],[1,"ba"]]; Polynomials:=[F1,F2]; NC.NR(F,Polynomials); [[1, "bcb"], [-1, "ccc"], [-1, "bb"], [1, "cb"], [-1, ""]] ------------------------------- NC.SetOrdering("ELIM"); NC.NR(F,Polynomials); [[1, "bcb"], [-1, "bb"], [1, "cb"], [-1, "ccc"], [-1, ""]] ------------------------------- |
See Also |