Weights on polynomial rings, etc

Stream: Is there code for X?

[Antoine Chambert-Loir]

The present definition of docs#mv_polynomial.is_homogenous assigns the same weight 1 to all indeterminates. In practice, one may need (and @María Inés de Frutos Fernández and I are needing it now) to assign different weights to the monomials.
Has somebody done that already ?

Also, I have not found anything related to homogeneous ideals, for example the fact that the ideal generated by homogeneous polynomials is homogeneous, and the quotient ring is naturally graded, etc.

[Yaël Dillies]

Not sure how directly this helps, but I should mention that FLT regular has homogeneisation for mv_polynomial.

[Johan Commelin]

There's also all the stuff building up to the Proj construction, which is working with homogeneous ideals.

[Johan Commelin]

But I don't think anyone has done "non-standard" weights yet.