Struct IntegralExtension 

pub struct IntegralExtension {
    pub base: String,
    pub degree: u64,
}

An integral extension of a local field or p-adic field.

Fields

base: String

String description of the base field (e.g. “ℚ_p”).

degree: u64

Degree of the extension.

Implementations

impl IntegralExtension

pub fn new(base: String, degree: u64) -> Self

Create a new IntegralExtension of the given base field.

pub fn is_totally_ramified(&self) -> bool

Returns true if the extension is totally ramified (e = degree, f = 1).

pub fn is_unramified(&self) -> bool

Returns true if the extension is unramified (e = 1, f = degree).