Advanced Search

Question: how to do term over position (TOP) for leading monomial

Question:how to do term over position (TOP) for leading monomial

ComputerUser 535
groebner
November 21 2014
0

follow Computing non-commutative Groebner bases and Groebner bases for modules

using LeadingMonomials(f, lexdeg([s],[x,y]));

f:=[y^2+2*x^2*y, y^2];
f1:=[x+y^2,x];
f2:=[x,y];

g:=[f1,f2];

 

LeadingMonomial(g[1], lexdeg([s],[x,y]));
LeadingMonomial(g[2], lexdeg([s],[x,y]));
LeadingMonomial(g[1], lexdeg([s],[y,x]));
LeadingMonomial(g[2], lexdeg([s],[y,x]));

 

no result is (0,y^2)

where is wrong?

 
Please Wait...