bindings: fix header name for gr_domains

Author: oscarbenjamin

bin/rst_to_pxd.py

@@ -52,6 +52,9 @@
 c_types = set(["void", "char", "short", "long", "int", "float", "double"])
 type_modifers = re.compile(r"\*|(\bconst\b)|(\bunsigned\b)|(\bsigned\b)")
 import_dict = {}
+# gr_domains.rst lists functions that are in gr.h
+doc_to_header = {'flint/gr_domains': 'flint/gr'}
+
 
 def get_cython_struct_types(file):
     """
@@ -174,7 +177,9 @@ def generate_pxd_file(h_name, opts):
     fill_import_dict(opts.flint_lib_dir)
     l=[]
     docdir = opts.arb_doc_dir
-    name = h_name 
+    name = h_name
+    h_name = doc_to_header.get(h_name, h_name)
+
     if name[:6] == "flint/":
         docdir = opts.flint_doc_dir
         name = name[6:]

src/flint/flintlib/functions/gr_domains.pxd

@@ -5,8 +5,7 @@ from flint.flintlib.types.gr cimport gr_ctx_t, truth_t
 from flint.flintlib.types.mpoly cimport ordering_t
 
 
-# XXX: Need to fix the header from gr_domain.h to gr.h:
-# Needs hard-coding in rst_to_pxd.py
+
 cdef extern from "flint/gr.h":
     int gr_ctx_cmp_coercion(gr_ctx_t ctx1, gr_ctx_t ctx2)
     truth_t gr_ctx_is_finite(gr_ctx_t ctx)