generic rings: add docs and doctests

Author: oscarbenjamin

doc/source/_gr.rst

@@ -26,6 +26,9 @@ variables over the Gaussian integers :math:`\mathbb{Z}[i][x,y]` we would do::
     >>> p
     x^2 + 2*x*y + (2*I)*x + y^2 + (2*I)*y - 1
 
+Some domains such as ``gr_fmpzi_ctx`` are global and do not need to be created.
+Others such as ``gr_gr_mpoly_ctx`` are created using :meth:`gr_ctx.new`.
+
 .. autoclass :: flint.types._gr.gr_ctx
   :members:
   :undoc-members:
@@ -42,18 +45,6 @@ variables over the Gaussian integers :math:`\mathbb{Z}[i][x,y]` we would do::
    :members:
    :undoc-members:
 
-.. autoclass :: flint.types._gr.gr_matrix_domain_ctx
-   :members:
-   :undoc-members:
-
-.. autoclass :: flint.types._gr.gr_matrix_space_ctx
-   :members:
-   :undoc-members:
-
-.. autoclass :: flint.types._gr.gr_matrix_ring_ctx
-   :members:
-   :undoc-members:
-
 .. autoclass :: flint.types._gr._gr_fmpz_ctx
    :members:
    :undoc-members:

doc/source/conf.py

@@ -100,7 +100,7 @@
 
 # The theme to use for HTML and HTML Help pages.  See the documentation for
 # a list of builtin themes.
-html_theme = 'default'
+html_theme = 'furo'
 
 # Theme options are theme-specific and customize the look and feel of a theme
 # further.  For a list of options available for each theme, see the

doc/source/index.rst

@@ -100,6 +100,6 @@ Experimental generic rings interface
 ....................................
 
 .. toctree::
-   :maxdepth: 1
+   :maxdepth: 2
 
    _gr.rst

requirements-dev.txt

@@ -8,3 +8,4 @@ coverage
 pytest-cov
 sphinx
 sphinx-rtd-theme
+furo

src/flint/types/_gr.pxd

@@ -381,16 +381,16 @@ cdef class gr_mpoly_ctx(gr_ctx):
     pass
 
 
-cdef class gr_matrix_domain_ctx(gr_ctx):
-    pass
+# cdef class gr_matrix_domain_ctx(gr_ctx):
+#     pass
 
 
-cdef class gr_matrix_space_ctx(gr_ctx):
-    pass
+# cdef class gr_matrix_space_ctx(gr_ctx):
+#     pass
 
 
-cdef class gr_matrix_ring_ctx(gr_ctx):
-    pass
+# cdef class gr_matrix_ring_ctx(gr_ctx):
+#     pass
 
 
 @cython.no_gc