Skip to main content

pou_atom_zm

logicaffeine_proof::polycalc_zm

Function pou_atom_zm 

Source 
pub fn pou_atom_zm(m: u64, v: usize) -> ZmPoly
Expand description

The partition-of-unity atom (1 − x_v) + x_v — the constant 1 in every commutative ring, zero divisors notwithstanding: the identity needs only additive inverses.