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