NC.SetRules |
Syntax |
NC.SetRules(Rules:LIST) |
Description |
Example |
NC.RingEnv(); Coefficient ring : Q Ordering : LLEX ------------------------------- NC.SetX("ab"); Rules:=[["ba",[[1,"ab"],[1,""]]]]; -- ba= ab+1 NC.SetRules(Rules); NC.RingEnv(); Coefficient ring : Q Alphabet : ab Ordering : LLEX Rules : [["ba", [[1, "ab"], [1, ""]]]] -- rewriting rules consists of ba=ab+1 ------------------------------- |
See Also |