Module linearization

This module implements the linearization.

Functions

constraints_expr

Get the expresion of constraints.

expr_linearization

Linearize the expr.

linearization_columns

Adds the polynomials that are evaluated as part of the proof for the linearization to work.