Struct PAdicExp 

pub struct PAdicExp {
    pub p: u64,
    pub convergence_radius: f64,
}

The p-adic exponential function exp_p(x) = Σ x^n / n!.

Fields

p: u64

The prime p.

convergence_radius: f64

Radius of convergence (= p^{-1/(p-1)} for p odd, = 2^{-2} for p=2).

Implementations

impl PAdicExp

pub fn new(p: u64) -> Self

Construct the p-adic exponential for the prime p.

pub fn converges_at(&self, x: &PAdicNumber) -> bool

True if the series exp_p(x) converges at x, i.e. |x|_p < convergence_radius.

pub fn evaluate_series(&self, x: f64, terms: u32) -> f64

Numerically evaluate the partial sum Σ_{n=0}^{terms-1} x^n / n! over ℝ.