`is_homogeneous` ignoring order
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}