Skip to main content

Poly

logicaffeine_proof::polycalc

Type Alias Poly 

Source 
pub type Poly = BTreeSet<Mono>;
Expand description

A multilinear polynomial over GF(2): the set of monomials with coefficient 1 (XOR/symmetric- difference semantics).

Aliased Typeยง

pub struct Poly { /* private fields */ }