Re: Computing p-adic logarithm with precision two

Georgi Guninski <[email protected]> Mon, 9 Sep 2024 16:24:52 +0300

Newsgroups	gmane.comp.mathematics.pari.devel
Message-ID	<CAGUWgD8JBue=AwWVtz-b1XE-rexA7rtvxdQYLnMp5FrRqLgMnQ@mail.gmail.com>

On Mon, Sep 9, 2024 at 4:13 PM Aurel Page <[email protected]> wrote:
>
> Dear Georgi,
>
>
> By "precision 2", do you mean computing the result up to O(p^2) or
> O(p^3)? I assume that B is assumed to be in Z_p?
> If the former, then p*(p-a) is unnecessary, -a*p is sufficient. If the
> latter, then you are missing one term.
>

Thanks.
I mean with O(p^2) and my result is equal to pari's `log(B+O(p^2))`.

Does pari use the same algorithm?