Macaulay2 » Documentation
Packages » Padic » PadicNumber » exp(PadicNumber) » log(PadicNumber)
next | previous | forward | backward | up | index | toc

log(PadicNumber) -- p-adic logarithm function

Description

Returns the $p$-adic logarithm of $x$, defined by the power series $\log_p x = \sum_{n=1}^\infty (-1)^{n-1}(x-1)^n/n$. The series converges when $|x - 1|_p < 1$.

i1 : log exp QQ_7 7

o1 = 1*7^1

o1 : QQ  (of precision 20)
       7

Caveat

An error is raised if the series does not converge.

See also

Ways to use this method:


The source of this document is in /build/reproducible-path/macaulay2-1.26.05+ds/M2/Macaulay2/packages/Padic.m2:887:0.