NC.MRLTIdeal |
Syntax |
NC.MRLTIdeal(X:STRING, Ordering:STRING, Relations:LIST, G:LIST):LIST NC.MRLTIdeal(X:STRING, Ordering:STRING, Relations:LIST, G:LIST, DegreeBound:INT, LoopBound:INT, Flag:INT):LIST |
Description |
Example |
X := "abc"; Ordering := "LLEX"; Relations := [["aa",""], ["bb",""], ["ab","c"], ["ac", "b"], ["cb", "a"]]; F1 := [[1,"a"], [1,"b"], [1,"c"]]; F2 := [[1,"b"]]; G := [F1, F2]; NC.MRLTIdeal(X, Ordering, Relations, G); ["b", "a"] ------------------------------- |
See Also |