pub fn incrementing_expr<F: TowerField>(
max_log_size: usize,
) -> Result<ArithExpr<F>, Error>Expand description
Returns the arithmetic expression for an incrementing column.
The multilinear expression is
$$ \sum_{v \in B_n} X_i \beta_i, $$
where $\beta_i$ is the $i$-th basis element of the field $F$ as an $\mathbb{F}_2$ vector space.