Skip to main content

project_trace_coeffs_column_major

Function project_trace_coeffs_column_major 

Source
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>
where C: FieldConfig + ProjectElementWithConfig<PolyCoeff> + ProjectElementWithConfig<Int>, PolyCoeff: Clone + Send + Sync, Int: Clone + Send + Sync,
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.