NC.RedGB |
Syntax |
NC.RedGB(G:LIST[, Optimize:INT, OFlag:INT, DB:INT, LB:INT]):LIST |
Description |
Example |
Use ZZ/(2)[x,y,t]; 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 F5:=[[y,t,x],[1]]; G := [F1, F2,F3,F4,F5]; NC.RedGB(G); [[[x], [t]], [[t^3], [1]], [[y], [t]]] ------------------------------- |
See Also |