pub fn l0_1<F: FftField>(d: Radix2EvaluationDomain<F>) -> FExpand description
Computes prod_{j != n} (1 - omega^j)
Assure we don’t multiply by (1 - omega^n) = (1 - omega^0) = (1 - 1) = 0
pub fn l0_1<F: FftField>(d: Radix2EvaluationDomain<F>) -> FComputes prod_{j != n} (1 - omega^j)
Assure we don’t multiply by (1 - omega^n) = (1 - omega^0) = (1 - 1) = 0