Skip to main content

next_mle_inner

zinc_poly::utils

Function next_mle_inner 

Source 
pub fn next_mle_inner<F: Field>(
    num_vars: u32,
    zero: F,
    one: F,
) -> Result<DenseMultilinearExtension<F::Inner>, 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