Function tensor_prime

poly-commit/src/hyrax/utils.rs:27–39

This function computes all evaluations of the MLE EQ(i, values) for i between 0...0 and 1...1 (n-bit strings). This results in essentially the same as the tensor_vec function in the `linear_codes/utils.rs`, the difference being the endianness of the order of the output.

(values: &[F])

// the same as the tensor_vec function in the `linear_codes/utils.rs`,
// the difference being the endianness of the order of the output.
pub(crate) fn tensor_prime<F: Field>(values: &[F]) -> Vec<F> {
    if values.is_empty() {
        return vec![F::one()];
    }

    let tail = tensor_prime(&values[1..]);
    let val = values[0];

    cfg_iter!(tail)
        .map(|v| *v * (F::one() - val))
        .chain(cfg_iter!(tail).map(|v| *v * val))
        .collect()
}