pub fn eq_uni_poly<F, EF>(l_skip: usize, x: EF) -> UnivariatePoly<EF>where
F: Field,
EF: ExtensionField<F>,Expand description
Returns eq_D(x, Z) as a polynomial in Z in coefficient form.
Derived from eq_D(x, Z) being the Lagrange basis at x, which is the character sum over the
roots of unity.
If z in D, then eq_D(x, z) = 1/N sum_{k=1}^N (x/z)^k = 1/N sum_{k=1}^N x^k z^{N-k}.