Skip to main content

partition_of_unity_zm

logicaffeine_proof::polycalc_zm

Function partition_of_unity_zm 

Source 
pub fn partition_of_unity_zm(m: u64, n: usize) -> ZmPoly
Expand description

The partition of unity Σ_a δ_a over ℤ/m — the constant 1 at every n over every modulus.