Function eq_ind_prefix_eval_tensor_algebra 

pub fn eq_ind_prefix_eval_tensor_algebra<F, FE>(
    m: usize,
    x: &[FE],
    y: &[FE],
) -> TensorAlgebra<F, FE>
where
    F: Field,
    FE: FieldOps<Scalar: ExtensionField<F>>,

Evaluates eq_{<m}(φ0(x), φ1(y)) in the tensor algebra.

x is embedded through the vertical subring and y through the horizontal subring. Each step of the recursion costs two horizontal and two vertical scalings.

Preconditions

• x and y must have the same length n
• m must be at most 2^n