pub fn project_trace_coeffs_column_major<C, PolyCoeff, Int, const DB: usize, const DA: usize>(
trace: &UairTrace<'_, PolyCoeff, Int, DB, DA>,
field_cfg: &C,
) -> ColumnMajorTrace<C::Element>Expand description
Project a multi-typed trace onto F[X], returning a column-indexed matrix.
Result: trace[col] is a
DenseMultilinearExtension<DynamicPolynomial<F>>.
Use this for the MLE-first approach.