Struct PAdicExponential 

pub struct PAdicExponential {
    pub p: u64,
}

The p-adic exponential series exp_p(x) = ∑_{n≥0} x^n / n!.

Fields

p: u64

The prime p.

Implementations

impl PAdicExponential

pub fn new(p: u64) -> Self

Create a new PAdicExponential for the prime p.

pub fn radius_of_convergence(&self) -> f64

Radius of convergence of exp_p: p^{-1/(p-1)} for odd p; 1/4 for p=2.

pub fn exp_p(&self, x: f64) -> f64

Numerically evaluate exp_p(x) = ∑_{n=0}^{50} x^n / n! (real approximation).