NCo.LWIdeal |
Syntax |
Description |
Example |
NCo.SetX("xyzt"); NCo.SetOrdering("LLEX"); F1 := [[1,"xx"], [-1,"yx"]]; F2 := [[1,"xy"], [-1,"ty"]]; F3 := [[1,"xt"], [-1,"tx"]]; F4 := [[1,"yt"], [-1,"ty"]]; G := [F1,F2,F3,F4]; GB:=NCo.GB(G); [NCo.LW(E) | E In GB]; -- the leading word ideal of |
See Also |