pub fn two_adic_subgroup_zerofier<F: TwoAdicField>(log_n: usize, x: F) -> FExpand description
Computes Z_H(x), where Z_H is the zerofier of a multiplicative subgroup of order 2^log_n.
pub fn two_adic_subgroup_zerofier<F: TwoAdicField>(log_n: usize, x: F) -> FComputes Z_H(x), where Z_H is the zerofier of a multiplicative subgroup of order 2^log_n.