NC.MB |
Syntax |
NC.MB(G:LIST[, DB:INT]):LIST |
Description |
Example |
Use ZZ/(2)[t,x,y]; NC.SetOrdering("LLEX"); 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]; Gb:=NC.GB(G); NC.MB(Gb,3); [[[1]], [[y], [x], [t]], [[y, t], [y, x], [y^2], [x, t], [t^2]], [[y^3], [y^2, x], [y^2, t], [x, t^2], [t^3]]] ------------------------------- |
See Also |