`is_homogeneous` ignoring order

asked 2021-11-02 23:35:07 +0100

8d1h gravatar image

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()
sage: (x^2+y).homogeneous_components()
{2: x^2 + y}
edit retag flag offensive close merge delete