Struct IntMatrix 

pub(crate) struct IntMatrix<const LIMBS: usize> {
    m00: ExtendedInt<LIMBS, 1>,
    m01: ExtendedInt<LIMBS, 1>,
    m10: ExtendedInt<LIMBS, 1>,
    m11: ExtendedInt<LIMBS, 1>,
}

2x2-Matrix with integers for elements.

Representation

The internal state represents the matrix

[ m00  m01 ]
[ m10  m11 ]

Fields

m00: ExtendedInt<LIMBS, 1>

m01: ExtendedInt<LIMBS, 1>

m10: ExtendedInt<LIMBS, 1>

m11: ExtendedInt<LIMBS, 1>

Implementations

impl<const LIMBS: usize> IntMatrix<LIMBS>

pub(super) const fn conditional_negate_top_row(&mut self, negate: Choice)

Negate the top row of this matrix if negate; otherwise do nothing.

pub(super) const fn conditional_negate_bottom_row(&mut self, negate: Choice)

Negate the bottom row of this matrix if negate; otherwise do nothing.

pub(super) const fn to_pattern_matrix(self) -> PatternMatrix<LIMBS>

Trait Implementations

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

fn clone(&self) -> IntMatrix<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 IntMatrix<LIMBS>

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

Formats the value using the given formatter.

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

fn eq(&self, other: &IntMatrix<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> Unit for IntMatrix<LIMBS>

const UNIT: Self

The unit matrix.

impl<const LIMBS: usize> Copy for IntMatrix<LIMBS>

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