/**/ use R ::= QQ[x,y];
/**/ IsHomog(x^2-x*y);
true
/**/ IsHomog(x-y^2);
false
/**/ IsHomog([x^2-x*y, x-y^2]);
false
/**/ R := NewPolyRing(QQ, "x,y", mat([[2,3],[1,2]]), 1);
/**/ use R;
/**/ IsHomog(x^3*y^2+y^4);
true
/**/ R := NewPolyRing(QQ, "x,y", mat([[2,3],[1,2]]), 2);
/**/ use R;
/**/ IsHomog(x^3*y^2+y^4);
false
/**/ use R ::= QQ[x,y];
/**/ IsHomog(ideal(x^2+y,y));
true
/**/ use R ::= QQ[x,y], Lex; -- note: GradingDim = 0
-- /**/ IsHomog(x-1); -- !!! ERROR !!! as expected: instead of "true"
|