Commit 2025-07-09 13:45 23af1921

feat: valuation on RatFunc which is trivial on constants (#24254) Given a valuation v on RatFunc K that is trivial on the constants K, the valuation on RatFunc.X determines to some degree the valuation on any p : Polynomial K. These are important in the context of Ostrowski's theorem for RatFunc K. Note that the condition that the valuation is trivial on constants is automatically fulfilled when K is finite.