Function kimchi::linearization::expr_linearization

pub fn expr_linearization<F: PrimeField>(
    feature_flags: Option<&FeatureFlags>,
    generic: bool
) -> (Linearization<Vec<PolishToken<F, Column, BerkeleyChallengeTerm>>, Column>, Alphas<F>)

Linearize the expr.

If the feature_flags argument is None, this will generate an expression using the Expr::IfFeature variant for each of the flags.

Panics

Will panic if the linearization process fails.