pub fn eval_eq_uni_at_one<F: Field>(l_skip: usize, x: F) -> F
Let D be the univariate skip domain, the subgroup of F^* of order 2^l_skip.
F^*
2^l_skip
Computes the polynomial eq_D(X, 1); see eval_eq_uni.
eval_eq_uni