Struct GF2Matrix 

pub struct GF2Matrix { /* private fields */ }

A matrix over GF(2), stored as row vectors.

Supports Gaussian elimination, rank computation, null space extraction, and matrix-vector multiplication — all via bitwise operations.

Implementations

impl GF2Matrix

pub fn zero(nrows: usize, ncols: usize) -> Self

Create a zero matrix.

pub fn identity(n: usize) -> Self

Create an identity matrix.

pub fn from_rows(rows: Vec<GF2Vector>) -> Self

Create from row vectors. All rows must have the same dimension.

pub fn nrows(&self) -> usize

Number of rows.

pub fn ncols(&self) -> usize

Number of columns.

pub fn get(&self, row: usize, col: usize) -> GF2

Get element at (row, col).

pub fn set(&mut self, row: usize, col: usize, value: GF2)

Set element at (row, col).

pub fn row(&self, i: usize) -> &GF2Vector

Get a reference to row i.

pub fn mul_vec(&self, v: &GF2Vector) -> GF2Vector

Matrix-vector product over GF(2).

pub fn mul_mat(&self, other: &Self) -> Self

Matrix-matrix product over GF(2).

pub fn transpose(&self) -> Self

Transpose.

pub fn reduced_row_echelon(&mut self) -> Vec<usize>

Reduced row echelon form (in-place). Returns pivot column indices.

pub fn row_echelon(&mut self) -> Vec<usize>

Row echelon form (in-place). Returns pivot column indices.

Over GF(2), this produces the same result as reduced_row_echelon since the elimination above and below is equivalent when the only nonzero scalar is 1.

pub fn rank(&self) -> usize

Rank = number of pivots.

pub fn null_space(&self) -> Vec<GF2Vector>

Null space basis vectors (kernel of the matrix).

pub fn determinant(&self) -> CoreResult<GF2>

Determinant (only for square matrices).

pub fn column_space(&self) -> Vec<GF2Vector>

Column space basis vectors (image of the matrix).

pub fn in_column_space(&self, v: &GF2Vector) -> bool

Check if a vector is in the column space.

pub fn solve(&self, b: &GF2Vector) -> Option<GF2Vector>

Solve Ax = b over GF(2). Returns None if no solution exists.

pub fn augment(&self, b: &GF2Vector) -> Self

Augmented matrix [A | b].

pub fn hcat(&self, other: &Self) -> Self

Horizontal concatenation [A | B].

Trait Implementations

impl Clone for GF2Matrix

fn clone(&self) -> GF2Matrix

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for GF2Matrix

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

Formats the value using the given formatter.

impl Display for GF2Matrix

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

Formats the value using the given formatter.

impl PartialEq for GF2Matrix

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

impl StructuralPartialEq for GF2Matrix