Function folding::quadraticization::quadraticize

source · 
pub fn quadraticize<C: FoldingConfig>(
    constraints: Vec<FoldingExp<C>>
) -> (Quadraticized<C>, usize)
Expand description

Returns the constraints converted into degree 2 or less and the extra constraints added in the process