Skip to main content

poly_degree

logicaffeine_proof::polycalc

Function poly_degree 

Source 
pub fn poly_degree(p: &Poly) -> usize
Expand description

The degree of a multilinear GF(2) polynomial: its largest monomial’s popcount (0 for the zero polynomial and for the constant 1).