Skip to main content

next_mle

zinc_poly::utils

Function next_mle 

Source 
pub fn next_mle<E: Clone>(
    num_vars: u32,
    zero: E,
    one: E,
) -> Result<DenseMultilinearExtension<E>, ArithErrors>
Expand description

Returns a multilinear polynomial in 2n variables that evaluates to 1 if and only if the second n-bit vector is equal to the first vector plus one