Anderson motives

src/doc/en/reference/categories/index.rst

@@ -48,6 +48,7 @@ Individual Categories
    sage/categories/algebra_modules
    sage/categories/algebras
    sage/categories/algebras_with_basis
+   sage/categories/anderson_motives
    sage/categories/aperiodic_semigroups
    sage/categories/associative_algebras
    sage/categories/bialgebras
@@ -76,6 +77,7 @@ Individual Categories
    sage/categories/distributive_magmas_and_additive_magmas
    sage/categories/division_rings
    sage/categories/domains
+   sage/categories/drinfeld_modules
    sage/categories/enumerated_sets
    sage/categories/euclidean_domains
    sage/categories/fields

src/doc/en/reference/drinfeld_modules/index.rst

@@ -1,8 +1,8 @@
-Drinfeld modules
-====================================
+Drinfeld modules and Anderson motives
+=====================================
 
-SageMath include facilities to manipulate Drinfeld modules and their morphisms. The
-main entry point is the class
+SageMath include facilities to manipulate Drinfeld modules and their morphisms.
+The main entry point is the class
 :class:`sage.rings.function_field.drinfeld_modules.drinfeld_module.DrinfeldModule`.
 
 Drinfeld modules
@@ -12,8 +12,9 @@ Drinfeld modules
    :maxdepth: 2
 
    sage/rings/function_field/drinfeld_modules/drinfeld_module
-   sage/rings/function_field/drinfeld_modules/charzero_drinfeld_module
-   sage/rings/function_field/drinfeld_modules/finite_drinfeld_module
+   sage/rings/function_field/drinfeld_modules/drinfeld_module_charzero
+   sage/rings/function_field/drinfeld_modules/drinfeld_module_finite
+   sage/rings/function_field/drinfeld_modules/action
 
 Morphisms and isogenies
 -----------------------
@@ -24,20 +25,12 @@ Morphisms and isogenies
    sage/rings/function_field/drinfeld_modules/morphism
    sage/rings/function_field/drinfeld_modules/homset
 
-The module action induced by a Drinfeld module
-----------------------------------------------
-
-.. toctree::
-   :maxdepth: 2
-
-   sage/rings/function_field/drinfeld_modules/action
-
-The category of Drinfeld modules
---------------------------------
+Anderson motives
+----------------
 
 .. toctree::
    :maxdepth: 2
 
-   sage/categories/drinfeld_modules
+   sage/rings/function_field/drinfeld_modules/anderson_motive
 
 .. include:: ../footer.txt

src/doc/en/reference/index.rst

@@ -115,7 +115,7 @@ Number Fields, Function Fields, and Valuations
 * :doc:`Number Fields <number_fields/index>`
 * :doc:`Function Fields <function_fields/index>`
 * :doc:`Discrete Valuations <valuations/index>`
-* :doc:`Drinfeld Modules <drinfeld_modules/index>`
+* :doc:`Drinfeld Modules and Anderson motives <drinfeld_modules/index>`
 
 Number Theory
 -------------