NC.GB |
Syntax |
NC.GB(G:LIST[, Optimize:INT, OFlag:INT, DB:INT, LB:INT]):LIST |
Description |
Example |
Use ZZ/(2)[t,x,y]; NC.SetOrdering("ELIM"); F1 := [[x^2], [y,x]]; -- x^2+yx F2 := [[x,y], [t,y]]; -- xy+ty F3 := [[x,t], [t,x]]; -- xt+tx F4 := [[y,t], [t,y]]; -- yt+ty G := [F1, F2,F3,F4]; NC.GB(G); Len(It); [[[x^2], [y, x]], [[t, y], [x, y]], [[y, t], [x, y]], [[t, x], [x, t]], [[x, y, x], [y^2, x]], [[x, y^2], [y, x, y]], [[y, x, t], [y^2, x]]] ------------------------------- 7 ------------------------------- |
See Also |