pub fn mod_counting_edges(n: usize, q: usize) -> Vec<Vec<usize>>Expand description
The edge layout of mod_counting: variable e is the q-subset mod_counting_edges(n, q)[e]
of the point set {0,…,n−1} — the map a witness-support predicate needs to read a monomial as a
set of blocks.