pub fn sparse_line_function_equal<F: PrimeField>(
    fp2_chip: &Fp2Chip<'_, F>,
    ctx: &mut Context<F>,
    Q: &EcPoint<F, FqPoint<F>>,
    P: &EcPoint<F, FpPoint<F>>
) -> Vec<Option<FqPoint<F>>>