Struct RnsFrac 

pub struct RnsFrac {
    pub residues: Vec<Option<u32>>,
    pub basis: Basis,
}

A rational carried as one field element p·q⁻¹ (mod pᵢ) per channel.

A channel whose prime divides the denominator is invalid for this value (the fraction is not p-adically integral there); it is masked out of this value’s reconstruction. This per-value mask is correctness bookkeeping for one number — never the unsound global “skip channels to save power” idea.

Fields

residues: Vec<Option<u32>>

None marks a channel invalid for this value (prime divides denom).

basis: Basis

Implementations

impl RnsFrac

pub fn from_fraction(p: &BigInt, q: &BigInt, basis: Basis) -> Self

Trait Implementations

impl Clone for RnsFrac

fn clone(&self) -> RnsFrac

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for RnsFrac

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

Formats the value using the given formatter.

impl Finite for RnsFrac

fn basis(&self) -> &Basis

fn add(&self, o: &Self) -> Self

fn sub(&self, o: &Self) -> Self

fn mul(&self, o: &Self) -> Self

fn try_reconstruct(&self) -> Option<(BigInt, BigInt)>

Reconstruct the exact (p, q) (with q == 1 for integers), or None when the value cannot be recovered within the current basis range.

fn reimage(p: &BigInt, q: &BigInt, basis: &Basis) -> Self

Re-encode a known exact p/q over a (possibly larger) basis.