wtgrev=grevlexWeight(wtR)
|
|
It is not standard in algebra systems to have a weighted monomial ordering based on one row of weights such as matrix{{5,6,6}} extended to matrix{{1,1,0},{1,0,0},{5,6,6}}, While M2 could extend it to matrix{{1,1,1},{1,1,0},{1,0,0},{5,6,6}} fairly easily, the method here allows for more than one independent row of a matrix matrix{{5,6,6},{3,6,0}} to be extended to matrix{{1,0,0},{5,6,6},{3,6,0}}.
The object grevlexWeight is a method function.