Merge pull request #1765 from flintlib/fq_default

Refactor fq_default to use gr generics
flintlib · Feb 2, 2024 · d792df7 · d792df7
2 parents 9eef6b6 + c264915
commit d792df7
Show file tree

Hide file tree

Showing 23 changed files with 2,020 additions and 2,240 deletions.
diff --git a/doc/source/fq_default.rst b/doc/source/fq_default.rst
@@ -78,6 +78,11 @@ Context Management
     Returns `1` if the context contains an ``fq_zech`` context, `2` if it
     contains an ``fq_mod`` context and `3` if it contains an ``fq`` context.
 
+.. function:: void * fq_default_ctx_inner(const fq_default_ctx_t ctx)
+
+    Returns a pointer to the internal context object of type
+    ``fq_ctx_t``, ``fq_zech_ctx_t``, ``fmpz_mod_ctx_t``, etc.
+
 .. function:: slong fq_default_ctx_degree(const fq_default_ctx_t ctx)
 
     Returns the degree of the field extension

diff --git a/doc/source/gr_domains.rst b/doc/source/gr_domains.rst
@@ -121,9 +121,11 @@ Base rings and fields
     of integers modulo *n* where
     elements have type :type:`fmpz`. The modulus must be positive.
 
-.. function:: void gr_ctx_fmpz_mod_set_primality(gr_ctx_t ctx, truth_t is_prime)
+.. function:: void gr_ctx_nmod_set_primality(gr_ctx_t ctx, truth_t is_prime)
+              void gr_ctx_fmpz_mod_set_primality(gr_ctx_t ctx, truth_t is_prime)
 
-    For a ring initialized with :func:`gr_ctx_init_fmpz_mod`,
+    For a ring initialized with :func:`gr_ctx_init_nmod`
+    or :func:`gr_ctx_init_fmpz_mod` respectively,
     indicate whether the modulus is prime. This can speed up
     some computations.