Struct PAdicLog 

pub struct PAdicLog {
    pub p: u64,
}

The p-adic logarithm log_p(x) = -Σ_{n≥1} (1 - x)^n / n, converging for |1 - x|_p < 1.

Fields

p: u64

The prime p.

Implementations

impl PAdicLog

pub fn new(p: u64) -> Self

Construct the p-adic logarithm for the prime p.

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

Numerically evaluate the partial sum log(x) ≈ -Σ_{n=1}^{terms} (1-x)^n / n over ℝ.