Struct PAdicNumber 

pub struct PAdicNumber {
    pub numerator: PAdicInteger,
    pub valuation: i64,
}

A p-adic number x = p^v · u where u is a p-adic integer and v is the valuation.

Fields

numerator: PAdicInteger

The p-adic integer part (numerator after extracting powers of p).

valuation: i64

The p-adic valuation v_p(x).

Implementations

impl PAdicNumber

pub fn new(p: u64, n: i64) -> Self

Construct the p-adic number whose value is the integer n.

pub fn p_adic_valuation(&self) -> i64

Return the p-adic valuation v_p(x).

pub fn is_integer(&self) -> bool

True if x lies in ℤ_p (valuation ≥ 0).

pub fn is_unit(&self) -> bool

True if x is a unit in ℤ_p (valuation = 0).