pub fn sqrt_algo9<F: ExtField, S: AsRef<[u64]>>(
e: &QuadExtField<F>,
q_minus_3_over_4: S,
q_minus_1_over_2: S,
) -> CtOption<QuadExtField<F>>
pub fn sqrt_algo9<F: ExtField, S: AsRef<[u64]>>(
e: &QuadExtField<F>,
q_minus_3_over_4: S,
q_minus_1_over_2: S,
) -> CtOption<QuadExtField<F>>