Struct BerkovichSpace 

pub struct BerkovichSpace {
    pub algebra: String,
    pub base_field: String,
    pub dimension: usize,
    pub is_smooth: bool,
}

A Berkovich space M(A) represented by a finite list of seminorm data.

Fields

algebra: String

The affinoid algebra A (name/description).

base_field: String

The non-archimedean base field K.

dimension: usize

Dimension as a topological space (= Krull dim of A).

is_smooth: bool

Whether this is a smooth Berkovich space.

Implementations

impl BerkovichSpace

pub fn new( algebra: impl Into<String>, base_field: impl Into<String>, dim: usize, ) -> Self

Create a Berkovich space M(A) over K.

pub fn unit_disc(base_field: impl Into<String>) -> Self

The Berkovich unit disc over K: M(K{T}).

pub fn affine_n_space(base_field: impl Into<String>, n: usize) -> Self

The Berkovich affine n-space over K: M(K{T_1,…,T_n}).

pub fn gauss_point_description(&self) -> String

The Gauss point (the canonical point in M(K{T})).

pub fn smooth(self) -> Self

Mark as smooth.

pub fn skeleton_description(&self) -> String

The skeleton (dual graph / tropical variety) description.

Trait Implementations

impl Clone for BerkovichSpace

fn clone(&self) -> BerkovichSpace

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for BerkovichSpace

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Display for BerkovichSpace

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.