Crate binius_math

Source
Expand description

Mathematical primitives used in Binius, built atop the binius-field crate.

This crate provides a variety of mathematical primitives used in Binius, including:

  • Multilinear polynomials
  • Univariate polynomials
  • Matrix operations
  • Additive number-theoretic transform
  • Error-correcting codes

Re-exports§

pub use binary_subspace::BinarySubspace;
pub use field_buffer::FieldBuffer;
pub use field_buffer::FieldSlice;
pub use field_buffer::FieldSliceMut;
pub use matrix::Matrix;
pub use reed_solomon::ReedSolomonCode;

Modules§

batch_invert
binary_subspace
field_buffer
fold
Algorithms for matrix multiplications and generalized tensor contractions.
inner_product
line
matrix
multilinear
ntt
Efficient implementations of the binary field additive NTT.
reed_solomon
[Reed–Solomon] codes over binary fields.
tensor_algebra
test_utils
univariate

Enums§

Error