P-adic_logarithm_function loading ...