pub fn all_quotients_combined(
quotient_domain_master_main_table: ArrayView2<'_, BFieldElement>,
quotient_domain_master_aux_table: ArrayView2<'_, XFieldElement>,
trace_domain: ArithmeticDomain,
quotient_domain: ArithmeticDomain,
challenges: &Challenges,
quotient_weights: &[XFieldElement],
) -> Vec<XFieldElement>Expand description
Computes the quotient codeword, which is the randomized linear combination of all individual quotients.
About assigning weights to quotients: the quotients are ordered by category – initial, consistency, transition, and then terminal. Within each category, the quotients follow the canonical order of the tables. The last column holds the terminal quotient of the cross-table argument, which is strictly speaking not a table. The order of the quotients is not actually important. However, it must be consistent between prover and verifier.