Function kimchi::circuits::polynomials::foreign_field_mul::circuitgates::compute_intermediate_products

pub fn compute_intermediate_products<F: PrimeField, T: ExprOps<F>>(
    left_input: &[T; 3],
    right_input: &[T; 3],
    quotient: &[T; 3],
    neg_foreign_field_modulus: &[T; 3]
) -> [T; 3]

Compute non-zero intermediate products

For more details see the “Intermediate products” Section of the Foreign Field Multiplication RFC