pub(crate) fn display_expression<F: AcirField>(
expr: &Expression<F>,
as_equal_to_zero: bool,
f: &mut Formatter<'_>,
) -> Result
Expand description
Displays an expression as a quadratic polynomial.
If as_equal_to_zero
is true, the expression is displayed as equaling zero,
where it’s tried to shown as a polynomial equal to the largest witness, if possible.