Function to_single

expander_compiler/src/builder/basic.rs:380–387

(mid_vars: &mut Pool<Expression<C>>, expr: &Expression<C>)

}

fn to_single<C: Config>(mid_vars: &mut Pool<Expression<C>>, expr: &Expression<C>) -> Expression<C> {
    let (e, coef, constant) = strip_constants(expr);
    if e.len() == 1 && e.degree() <= 1 {
        return expr.clone();
    }
    let idx = mid_vars.add(&e);
    unstrip_constants_single(idx, coef, constant)
}

fn to_single_stripped<C: Config>(
    mid_vars: &mut Pool<Expression<C>>,