1 | initial version |
Your data is fishy:
sage: denom.parent().term_order()
Negative weighted degree reverse lexicographic term order with weights (1, 1, 1, 1, 2, 2, 2, 2, 2, 2, 3, 3, 3, 3, 4)
This 'local' term ordering causes reduce
and (hence) divides
to behave differently.
In particular, it does not give the same result as with a well-ordering such as 'lex'
in your ring dR
:
sage: dR(denom).divides(dR(num))
False
So the polynomials do not divide each other in the ordinary sense. Maybe they do in some 'local' sense, but I don't know anything about local orderings other than their existence. I would be glad if someone could explain it.
2 | No.2 Revision |
Your data is fishy:
sage: denom.parent().term_order()
Negative weighted degree reverse lexicographic term order with weights (1, 1, 1, 1, 2, 2, 2, 2, 2, 2, 3, 3, 3, 3, 4)
This 'local' term ordering causes reduce
and (hence) divides
to behave differently.
In particular, it does not give the same result as with a well-ordering such as 'lex'
in your ring dR
:
sage: dR(denom).divides(dR(num))
False
So the polynomials do denom
does not divide each other num
in the ordinary sense. Maybe they do in some 'local' sense, but I don't know anything about local orderings other than their existence. I would be glad if someone could explain it.sense.
Edit: In the 'local' sense, we have that denom
is invertible, so the ideal generated by denom
is the unit ideal, so of course num.reduce(Ideal([denom]))
is zero.