Struct DividedPatternMatrix 

pub(crate) struct DividedPatternMatrix<const LIMBS: usize> {
    pub(super) inner: PatternMatrix<LIMBS>,
    pub k: u32,
    pub k_upper_bound: u32,
}

Variation on PatternMatrix, where the contents of the matrix need to be divided by 2^k. The internal state represents the matrix

     true                       false
[  m00 -m01 ]               [ -m00  m01 ]
[ -m10  m11 ] / 2^k   or    [  m10 -m11 ] / 2^k

depending on whether pattern is respectively truthy or not.

Since some of the operations conditionally increase k, this struct furthermore keeps track of k_upper_bound; an upper bound on the value of k.

Fields

inner: PatternMatrix<LIMBS>

k: u32

k_upper_bound: u32

Implementations

impl<const LIMBS: usize> DividedPatternMatrix<LIMBS>

pub const UNIT: Self

The unit matrix.

pub const fn extended_apply_to<const VEC_LIMBS: usize, const UPPER_BOUND: u32>( &self, vec: (Uint<VEC_LIMBS>, Uint<VEC_LIMBS>), ) -> (ExtendedInt<VEC_LIMBS, LIMBS>, ExtendedInt<VEC_LIMBS, LIMBS>)

Apply this matrix to a vector of Uints, returning the result as a vector of ExtendedInts.

pub const fn extended_apply_to_vartime<const VEC_LIMBS: usize>( &self, vec: (Uint<VEC_LIMBS>, Uint<VEC_LIMBS>), ) -> (ExtendedInt<VEC_LIMBS, LIMBS>, ExtendedInt<VEC_LIMBS, LIMBS>)

Apply this matrix to a vector of Uints, returning the result as a vector of ExtendedInts.

pub const fn mul_int_matrix<const RHS_LIMBS: usize>( &self, rhs: &DividedMatrix<LIMBS, IntMatrix<LIMBS>>, ) -> DividedMatrix<LIMBS, IntMatrix<LIMBS>>

Multiply self with rhs. Return the result as a DividedIntMatrix<LIMBS>.

pub const fn conditional_swap_rows(&mut self, swap: Choice)

Swap the rows of this matrix if swap is truthy. Otherwise, do nothing.

pub const fn swap_rows(&mut self)

Swap the rows of this matrix.

pub const fn conditional_subtract_bottom_row_from_top( &mut self, subtract: Choice, )

Subtract the bottom row from the top if subtract is truthy. Otherwise, do nothing.

pub const fn conditional_double_bottom_row(&mut self, double: Choice)

Double the bottom row of this matrix if double is truthy. Otherwise, do nothing.

Trait Implementations

impl<const LIMBS: usize> Clone for DividedPatternMatrix<LIMBS>

fn clone(&self) -> DividedPatternMatrix<LIMBS>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<const LIMBS: usize> Debug for DividedPatternMatrix<LIMBS>

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

Formats the value using the given formatter.

impl<const LIMBS: usize> PartialEq for DividedPatternMatrix<LIMBS>

fn eq(&self, other: &DividedPatternMatrix<LIMBS>) -> 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<const LIMBS: usize> Copy for DividedPatternMatrix<LIMBS>

impl<const LIMBS: usize> StructuralPartialEq for DividedPatternMatrix<LIMBS>