NC.MRInterreduction |
Syntax |
NC.MRInterreduction(X:STRING, Ordering:STRING, Relations:LIST, G:LIST):LIST |
Description |
Example |
X := "abc"; Ordering := "LLEX"; Relations := [["aa",""], ["bb",""], ["ab","c"], ["ac", "b"], ["cb", "a"]]; G:=[[[1,"ba"]], [[1,"b"],[1,""]], [[1,"c"]]]; NC.MRInterreduction(X, Ordering, Relations, G); [[[1, "a"]], [[1, "b"], [1, ""]], [[1, "c"]]] ------------------------------- |
See Also |