Struct LocallyAnalyticFunctions 

pub struct LocallyAnalyticFunctions {
    pub p: u64,
    pub target: String,
}

Locally analytic functions from ℤ_p to a p-adic Banach space.

Fields

p: u64

The prime p.

target: String

The target Banach space description.

Implementations

impl LocallyAnalyticFunctions

pub fn new(p: u64, target: impl Into<String>) -> Self

Construct the space of locally analytic functions.

pub fn dense_in_continuous(&self) -> bool

True: locally analytic functions are a dense subspace of continuous functions.

pub fn locally_analytic_rep_statement(&self) -> String

Statement on locally analytic representations.