Struct IntExtPadicVal 

pub struct IntExtPadicVal {
    pub prime: i64,
}

p-adic valuation: the largest power of p dividing n.

Fields

prime: i64

The prime p.

Implementations

impl IntExtPadicVal

pub fn new(prime: i64) -> Self

Create a p-adic valuation for prime p.

pub fn val(&self, n: i64) -> Option<u32>

Compute v_p(n): the p-adic valuation of n. Returns None if n = 0 (undefined) or prime <= 1.

pub fn power(&self, k: u32) -> i64

Returns p^k.

pub fn divides_to_val(&self, a: i64, b: i64) -> bool

Check if v_p(a) >= v_p(b), i.e. whether p^v_p(b) divides a.

pub fn unit_part(&self, n: i64) -> Option<i64>

Return the unit part: n / p^v_p(n).

Trait Implementations

impl Clone for IntExtPadicVal

fn clone(&self) -> IntExtPadicVal

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for IntExtPadicVal

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

Formats the value using the given formatter.

impl PartialEq for IntExtPadicVal

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for IntExtPadicVal

impl StructuralPartialEq for IntExtPadicVal