more special cases of squarefree factorization
unique extensions of valuations
fix a minor issue in squarefreeness
configuration of roots over function fields
epp.sage