Revision history [back]

It seems that for certain coefficient ring, is_homogeneous does not take into consideration the order. On the other hand, homogeneous_components does respect the order, which leads to inconsistent results...

sage: R.<x,y> = PolynomialRing(QQbar, order=TermOrder("wdeglex", [1,2]))
sage: (x^2+y).is_homogeneous()
False
sage: (x^2+y).homogeneous_components()
{2: x^2 + y}