Georgi Guninski on Mon, 09 Sep 2024 15:25:11 +0200


[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]

Re: Computing p-adic logarithm with precision two


On Mon, Sep 9, 2024 at 4:13 PM Aurel Page <aurel.page@normalesup.org> 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?