Struct ModularValue 

pub struct ModularValue {
    pub value: u64,
    pub modulus: u64,
}

A single element of ℤ/pℤ, tagged with its modulus.

Used as a tracer value to tag which modular image produced a given coefficient during GCD or resultant computation.

Fields

value: u64

The residue, in [0, modulus).

modulus: u64

The prime modulus.

Implementations

impl ModularValue

pub fn new(value: u64, modulus: u64) -> Self

pub fn zero(modulus: u64) -> Self

pub fn one(modulus: u64) -> Self

pub fn add(&self, other: &Self) -> Self

pub fn sub(&self, other: &Self) -> Self

pub fn mul(&self, other: &Self) -> Self

pub fn neg(&self) -> Self

pub fn inverse(&self) -> Option<Self>

Multiplicative inverse. Returns None if self.value == 0.

Trait Implementations

impl Clone for ModularValue

fn clone(&self) -> ModularValue

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ModularValue

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

Formats the value using the given formatter.

impl PartialEq for ModularValue

fn eq(&self, other: &ModularValue) -> 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 ModularValue

impl StructuralPartialEq for ModularValue