Function clause_polynomial 

pub fn clause_polynomial(clause: &[Lit]) -> Poly

The clause polynomial: 1 exactly on the clause’s falsifying assignment. The false-indicator of a positive literal x is 1 + x ({∅, {x}}), of a negative literal ¬x is x ({{x}}); the clause polynomial is their product. Degree = clause width.