Struct poseidon_parameters::Matrix

pub struct Matrix<F: PrimeField> {
    pub elements: Vec<F>,
    pub n_cols: usize,
    pub n_rows: usize,
}

Represents a matrix over PrimeField elements.

This matrix can be used to represent row or column vectors.

Fields

elements: Vec<F>

Elements of the matrix.

n_cols: usize

Number of columns.

n_rows: usize

Number of rows.

Implementations

impl<F: PrimeField> Matrix<F>

pub fn row_vector(&self, i: usize) -> Matrix<F>

Get row vector at a specified row index

Trait Implementations

impl<F: Clone + PrimeField> Clone for Matrix<F>

fn clone(&self) -> Matrix<F>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<F: Debug + PrimeField> Debug for Matrix<F>

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

Formats the value using the given formatter.

impl<F: PrimeField> MatrixOperations<F> for Matrix<F>

fn new(n_rows: usize, n_cols: usize, elements: Vec<F>) -> Self

Create a new matrix

fn elements(&self) -> &Vec<F>

Access elements as a vector

fn get_element(&self, i: usize, j: usize) -> F

Get element[i,j]

fn set_element(&mut self, i: usize, j: usize, val: F)

Set element[i,j]

fn rows(&self) -> Vec<&[F]>

Get rows

fn n_rows(&self) -> usize

Number of rows

fn n_cols(&self) -> usize

Number of columns

fn transpose(&self) -> Self

Take transpose of the matrix

fn hadamard_product(&self, rhs: &Self) -> Result<Self>where Self: Sized,

Compute Hadamard (element-wise) product

fn iter_rows(&self) -> Chunks<'_, F>

Get rows in chunks

impl<F: PrimeField> Mul<F> for Matrix<F>

Multiply scalar by Matrix

type Output = Matrix<F>

The resulting type after applying the * operator.

fn mul(self, rhs: F) -> Self::Output

Performs the * operation.

impl<F: PartialEq + PrimeField> PartialEq<Matrix<F>> for Matrix<F>

fn eq(&self, other: &Matrix<F>) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<F: Eq + PrimeField> Eq for Matrix<F>

impl<F: PrimeField> StructuralEq for Matrix<F>

impl<F: PrimeField> StructuralPartialEq for Matrix<F>