Skip to main content

mle_eval_with_eq_table

Function mle_eval_with_eq_table 

Source
pub fn mle_eval_with_eq_table<C: SemiringConfig>(
    cfg: &C,
    evaluations: &[C::Element],
    eq_table: &[C::Element],
) -> C::Element
Expand description

Evaluate an MLE at a point using a precomputed eq table.

Given evaluations[b] and eq_table[b] = eq(b, r) (precomputed via build_eq_x_r_vec), returns \sum_{b} eq_table[b] * evaluations[b].

This is equivalent to DenseMultilinearExtension::evaluate but avoids cloning the evaluation vector (the fix-variables algorithm is destructive). When multiple MLEs share the same evaluation point, build the eq table once and call this function for each MLE.