Function mvpoly::utils::get_mapping_with_primes
source · pub fn get_mapping_with_primes<const N: usize>() -> Vec<usize>
Expand description
Build mapping from 1..N to the first N prime numbers. It will be used to encode variables as prime numbers For instance, if N = 3, i.e. we have the variable $x_1, x_2, x_3$, the mapping will be [1, 2, 3, 2, 3, 5] The idea is to encode products of variables as products of prime numbers and then use the factorization of the products to know which variables must be fetched while computing a product of variables