Struct PAdicInteger 

pub struct PAdicInteger {
    pub p: u64,
    pub digits: Vec<u64>,
}

A p-adic integer represented by its base-p expansion (least significant digit first).

Fields

p: u64

The prime p.

digits: Vec<u64>

Base-p digits, least significant first. Each digit satisfies 0 ≤ digit < p.

Implementations

impl PAdicInteger

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

Construct the p-adic integer whose value is n (non-negative).

pub fn zero(p: u64) -> Self

The zero element 0 ∈ ℤ_p.

pub fn one(p: u64) -> Self

The unit element 1 ∈ ℤ_p.

pub fn from_digits(p: u64, digits: Vec<u64>) -> Self

Construct from an explicit digit sequence.