Struct NeronModel 

pub struct NeronModel {
    pub variety: String,
    pub dvr: String,
    pub fraction_field: String,
    pub reduction_type: NeronReductionType,
    pub component_group_order: Option<u64>,
}

A Néron model data record for an abelian variety A over the fraction field of a DVR.

Fields

variety: String

The abelian variety A (name).

dvr: String

The discrete valuation ring R (e.g., “Z_p”, “O_K”).

fraction_field: String

The fraction field K = Frac(R).

reduction_type: NeronReductionType

Reduction type of the Néron model special fiber.

component_group_order: Option<u64>

The component group Φ = A_s^0\A_s of the special fiber.

Implementations

impl NeronModel

pub fn new( variety: impl Into<String>, dvr: impl Into<String>, fraction_field: impl Into<String>, reduction_type: NeronReductionType, ) -> Self

Create a Néron model record.

pub fn good_reduction( variety: impl Into<String>, dvr: impl Into<String>, frac: impl Into<String>, ) -> Self

Néron model with good reduction.

pub fn semi_stable( variety: impl Into<String>, dvr: impl Into<String>, frac: impl Into<String>, ) -> Self

Néron model with semi-stable reduction.

pub fn with_component_group(self, order: u64) -> Self

Set the component group order |Φ|.

pub fn has_good_reduction(&self) -> bool

Whether the Néron model has good reduction.

pub fn is_semi_stable(&self) -> bool

Whether the Néron model has semi-stable reduction.

pub fn tamagawa_number(&self) -> u64

Tamagawa number c_v = |Φ(k_v)| (number of connected components over residue field).

Trait Implementations

impl Clone for NeronModel

fn clone(&self) -> NeronModel

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for NeronModel

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

Formats the value using the given formatter.

impl Display for NeronModel

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

Formats the value using the given formatter.