Struct OverconvergentFunctions 

pub struct OverconvergentFunctions {
    pub p: u64,
    pub overconvergence_radius: f64,
}

Overconvergent p-adic functions: power series converging on a slightly larger disk.

Fields

p: u64

The prime p.

overconvergence_radius: f64

The overconvergence radius r > 1 (radius slightly beyond 1 in |·|_p).

Implementations

impl OverconvergentFunctions

pub fn new(p: u64, overconvergence_radius: f64) -> Self

Construct the space of overconvergent functions with given radius.

pub fn is_subspace_of_formal_series(&self) -> bool

True: overconvergent functions form a subspace of all formal power series.

pub fn robba_ring_statement(&self) -> String

Statement about the Robba ring.