fixed totally ramified extensios
check that the polynomial defining an extension is irreducible
lift_to_precision() accepts prec=None
fixed padic factorization