Function clause_polynomial_zm 

pub fn clause_polynomial_zm(m: u64, clause: &[Lit]) -> ZmPoly

The clause polynomial over ℤ/m — the signed false-indicator, exactly as over the fields: a positive literal contributes 1 − x (over ℤ/6: 1 + 5x), a negative one contributes x; the product is 1 on falsifying corners and 0 elsewhere over every commutative ring.