Function pou_atom_gfp 

pub fn pou_atom_gfp(f: NsField, v: usize) -> GfpPoly

The partition-of-unity atom on variable v: (1 − x_v) + x_v, the constant 1 in every field — the identity is characteristic-free, so the completeness construction it powers is not a GF(2) artifact.