pub fn two_adic_coset_zerofier<F: TwoAdicField>(
log_n: usize,
shift: F,
x: F,
) -> FExpand description
Computes Z_{sH}(x), where Z_{sH} is the zerofier of the given coset of a multiplicative
subgroup of order 2^log_n.
pub fn two_adic_coset_zerofier<F: TwoAdicField>(
log_n: usize,
shift: F,
x: F,
) -> FComputes Z_{sH}(x), where Z_{sH} is the zerofier of the given coset of a multiplicative
subgroup of order 2^log_n.