Add Polynomial_real_arb by copy-paste-replace from Polynomial_complex_arb

Author: user202729

src/sage/libs/flint/arb_poly_macros.pxd

@@ -0,0 +1,7 @@
+# Macros from arb_poly.h
+# See https://github.com/flintlib/flint/issues/1529
+
+from .types cimport *
+
+cdef extern from "flint_wrap.h":
+    arb_ptr arb_poly_get_coeff_ptr(arb_poly_t p, ulong n)

src/sage/rings/polynomial/meson.build

@@ -70,6 +70,8 @@ py.install_sources(
   'polynomial_quotient_ring_element.py',
   'polynomial_rational_flint.pxd',
   'polynomial_rational_flint.pyx',
+  'polynomial_real_arb.pxd',
+  'polynomial_real_arb.pyx',
   'polynomial_real_mpfr_dense.pyx',
   'polynomial_ring.py',
   'polynomial_ring_constructor.py',
@@ -116,6 +118,7 @@ extension_data = {
   'polynomial_complex_arb' : files('polynomial_complex_arb.pyx'),
   'polynomial_element' : files('polynomial_element.pyx'),
   'polynomial_number_field' : files('polynomial_number_field.pyx'),
+  'polynomial_real_arb' : files('polynomial_real_arb.pyx'),
   'polynomial_real_mpfr_dense' : files('polynomial_real_mpfr_dense.pyx'),
   'polynomial_ring_homomorphism' : files('polynomial_ring_homomorphism.pyx'),
   'real_roots' : files('real_roots.pyx'),
@@ -130,6 +133,8 @@ foreach name, pyx : extension_data
   deps = [py_dep, cysignals, gmp, numpy]
   if name == 'evaluation_flint'
     deps += [flint, mpfi]
+  elif name == 'polynomial_real_arb'
+    deps += [flint, mpfi]
   elif name == 'polynomial_complex_arb'
     deps += [flint, mpfi]
   elif name == 'polynomial_real_mpfr_dense'

src/sage/rings/polynomial/polynomial_real_arb.pxd

@@ -0,0 +1,6 @@
+from sage.libs.flint.arb_poly cimport *
+from sage.rings.polynomial.polynomial_element cimport Polynomial
+
+cdef class Polynomial_real_arb(Polynomial):
+    cdef arb_poly_struct[1] _poly # https://github.com/cython/cython/issues/1984
+    cdef Polynomial_real_arb _new(self)