Magnitude of a root of a polynomial

I saw that you added "non constant" polynomial, but I’m not sure this is needed ? @Sequoia (the tag system doesn’t exist yet hehe)