Struct PAdicAbsoluteValue 

pub struct PAdicAbsoluteValue {
    pub p: u64,
}

The p-adic absolute value |·|_p : ℚ → ℝ≥0.

Fields

p: u64

The prime p.

Implementations

impl PAdicAbsoluteValue

pub fn new(p: u64) -> Self

Construct the p-adic absolute value for the prime p.

pub fn evaluate(&self, n: i64) -> f64

Evaluate |n|_p = p^{-v_p(n)} for a non-zero integer n. Returns 1.0 for n=0 by convention.

pub fn ultrametric_inequality(&self) -> bool

Return true — the p-adic absolute value satisfies the ultrametric inequality |x+y|_p ≤ max(|x|_p, |y|_p).