//! This module collects common algebraic operation traits and their in-circuit
//! gadgets, including:
//!
//! * [`bits`]: conversions between bit representations and algebraic variables.
//! * [`eq`]: generalization of equality checks.
//! * [`matrix`]: sparse matrix representation and operations.
//! * [`poly`]: helpers for polynomial operations.
//! * [`pow`]: computation of powers.
//! * [`rlc`]: random linear combinations.
//! * [`vector`]: vector operations.