pub fn transition_quotient_zerofier_inverse(
trace_domain: ArithmeticDomain,
quotient_domain: ArithmeticDomain,
) -> Array1<BFieldElement>
pub fn transition_quotient_zerofier_inverse(
trace_domain: ArithmeticDomain,
quotient_domain: ArithmeticDomain,
) -> Array1<BFieldElement>