Struct PAdic 

pub struct PAdic {
    pub prime: u64,
    pub digits: Vec<u64>,
    pub valuation: i64,
}

A p-adic number represented by its prime, digit expansion, and valuation. The value is: sum_{i=0}^{n-1} digits[i] * p^(valuation + i).

Fields

prime: u64

digits: Vec<u64>

valuation: i64

Implementations

impl PAdic

pub fn from_integer(n: i64, prime: u64, precision: usize) -> Self

Create a p-adic representation of an integer with given precision (number of digits).

pub fn to_string_expansion(&self) -> String

Display the p-adic expansion as a string: …d_2 d_1 d_0 . d_{-1} …

pub fn to_f64_approx(&self) -> f64

Evaluate to f64 (truncated, only meaningful for analysis).

pub fn precision(&self) -> usize

Number of digits in the expansion.

Trait Implementations

impl Clone for PAdic

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for PAdic

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

Formats the value using the given formatter.

impl PartialEq for PAdic

fn eq(&self, other: &Self) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for PAdic