Skip to main content Module poly Copy item path Source EqEvalLayers Same as EqEvalSegments but keeping segment tree with buffers separated by layer to allow
dropping layers. EqEvalSegments For a fixed x in F^max_n, stores the evaluations of eq_n(x[..n], -) on hypercube H_n for
n = 0..=max_n. The evaluations are stored contiguously in a single buffer of length `2^(max_n PleMatrix SqrtEqLayers Square-root decomposition using pre-computed eq evaluation layers. SqrtHyperBuffer Square-root decomposition of hypercube equality buffer for memory optimization. evals_eq_hypercube ⚠ Given vector x in F^n, populates out with eq_n(x, y) for y on hypercube H_n. evals_mobius_eq_hypercube ⚠ Given vector u_tilde in F^n, populates out with mobius_eq(u_tilde, y) for y on
hypercube H_n. mle_evals_to_coeffs_inplace Assumes that evals is column-major matrix of evaluations on a hypercube H_n.
In-place interpolates evals from evaluations to coefficient form. mle_interpolate_stages ⚠ Helper function to process MLE interpolation stages from start_log_step to end_log_step
(both inclusive).