code: def FQP_point_to_FQ2_point(pt: Tuple[FQP, FQP, FQP]) -> Tuple[FQ2, FQ2, FQ2]:
      
      return (
          FQ2(pt[0].coeffs),
          FQ2(pt[1].coeffs),
          FQ2(pt[2].coeffs),
      )
docs: Transform FQP to FQ2 for type hinting.