NC.IsGB |
Syntax |
NC.IsGB(G:LIST):BOOL |
Description |
Example |
Use ZZ/(2)[t,x,y]; G := [[[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]]]; NC.SetOrdering("ELIM"); NC.IsGB(G); True ------------------------------- NC.SetOrdering("LLEX"); NC.IsGB(G); False ------------------------------- |
See Also |