In the repeated-root chart `x^r` with basis `(x^i)`, the coordinate ideal of `z` has algebra type `σ` iff the monic polynomial with lower coefficients `π • z` has polynomial type `σ`.

Initializing...

In the repeated-root chart `x^r` with basis `(x^i)`, the coordinate ideal of `z` has algebra type `σ` iff the monic polynomial with lower coefficients `π • z` has polynomial type `σ`. · Prove2Me