Compute the p-adic Gamma function

[sagetrac-asalerno]

This function computes the p-adic Gamma function of a p-adic integer. This code is based on Pari code by Fernando Rodriguez-Villegas which uses an expansion due to Dwork.

Apply attachment: trac_14880_padic_gamma_v2.patch

Component: padics

Keywords: p-adic gamma, p-adic functions, dwork, SD53

Author: Beth Malmskog, Adriana Salerno, Christelle Vincent, Ursula Whitcher

Branch/Commit: u/asalerno/ticket/14880 @ 3b6a841

Reviewer: Volker Braun

Merged: sage-5.13.beta0

Issue created by migration from https://trac.sagemath.org/ticket/14880

[fchapoton]

Attachment: trac_14880_padic_gamma.patch.gz

[fchapoton]

comment:2

Attachment: trac_14880_padic_gamma_v2.patch.gz

your patch did not apply (seems to be some problem with the encoding of carriage returns)

so I used it to make a new one, with some corrections to the documentation formatting

for the bot:

apply only trac_14880_padic_gamma_v2.patch​

[fchapoton]

comment:3

apply trac_14880_padic_gamma_v2.patch

[sagetrac-xguitart]

comment:4

When the algorithm is 'pari' it doesn't return an element in the p-adic ring:

sage: R = Zp(3)

sage: x = R(5).padic_gamma()

sage: x.parent()

Interface to the PARI C library

But coerce seems to work, so maybe just adding a coerce before returning the result will fix it:

sage: R(x).parent()

3-adic Ring with capped relative precision 20

[sagetrac-asalerno]

Branch: u/asalerno/ticket/14880

[vbraun]

Commit: 3b6a841

[vbraun]

Reviewer: Volker Braun

[vbraun]

comment:7

Looks good to me

[vbraun]

Changed keywords from p-adic gamma, p-adic functions, dwork to p-adic gamma, p-adic functions, dwork, SD53

[jdemeyer]

Merged: sage-5.13.beta0