Ask Your Question

Revision history [back]

click to hide/show revision 1
initial version

`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()
sage: (x^2+y).homogeneous_components()
{2: x^2 + y}