NC.PrefixInterreduction |
Syntax |
NC.PrefixInterreduction(G:LIST):LIST |
Description |
Example |
NC.SetX("abc"); NC.SetOrdering("LLEX"); NC.SetRelations([["aa",""], ["bb",""], ["ab","c"], ["ac", "b"], ["cb", "a"]]); G:=[[[1,"b"],[1,""]], [[1,"c"]],[[1,"ba"]]]; NC.PrefixInterreduction(G); [[[1, "b"], [1, ""]], [[1, "c"]], [[1, "a"]]] ------------------------------- |
See Also |