Struct PAdicDistributions 

pub struct PAdicDistributions {
    pub p: u64,
}

The space of p-adic distributions (dual to locally analytic functions).

Fields

p: u64

The prime p.

Implementations

impl PAdicDistributions

pub fn new(p: u64) -> Self

Construct the space of p-adic distributions.

pub fn is_locally_convex(&self) -> bool

True: p-adic distributions form a locally convex topological vector space.

pub fn amice_transform_statement(&self) -> String

Statement: the Amice transform identifies distributions with power series.