NC.LWIdeal |
Syntax |
Description |
Example |
Use QQ[x,y,z,t]; NC.SetOrdering("LLEX"); F1 := [[x^2], [-y,x]]; F2 := [[x,y], [-t,y]]; F3 := [[x,t], [-t,x]]; F4 := [[y,t], [-t,y]]; G := [F1,F2,F3,F4]; GB:=NC.GB(G); [NC.LW(E) | E In GB]; -- the leading word ideal of |
See Also |