Struct RnsContext 

pub struct RnsContext { /* private fields */ }

Context for a Residue Number System.

Implementations

impl RnsContext

pub fn new(moduli_u64: &[u64]) -> Result<Self>

Create a RNS context from a list of moduli.

Returns an error if the list is empty, or if the moduli are no coprime.

pub const fn modulus(&self) -> &BigUint

Returns the product of the moduli used when creating the RNS context.

pub fn project(&self, a: &BigUint) -> Vec<u64>

Project a BigUint into its rests.

pub fn lift(&self, rests: ArrayView1<'_, u64>) -> BigUint

Lift rests into a BigUint.

Aborts if the number of rests is different than the number of moduli in debug mode.

pub fn get_garner(&self, i: usize) -> Option<&BigUint>

Getter for the i-th garner coefficient.

Trait Implementations

impl Clone for RnsContext

fn clone(&self) -> RnsContext

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for RnsContext

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

Formats the value using the given formatter.

impl Default for RnsContext

fn default() -> RnsContext

Returns the “default value” for a type.

impl PartialEq for RnsContext

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

impl StructuralPartialEq for RnsContext