A division chart centred at a generator of an ideal of the state set is injective, lands in the state set, and scales the coefficient measure by `q^(-deg s)`.

Initializing...

A division chart centred at a generator of an ideal of the state set is injective, lands in the state set, and scales the coefficient measure by `q^(-deg s)`. · Prove2Me