Skip to content
Draft
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
70 commits
Select commit Hold shift + click to select a range
2368519
completion of polynomial rings and their fraction fields
Aug 19, 2025
573dae0
file morphism.py
Aug 19, 2025
ce72980
fix failing doctests
Aug 20, 2025
d990b8f
fix doctest
Aug 20, 2025
eff3e22
avoid recursive loop in coercion
Aug 20, 2025
2f06fbc
address easy remarks by user202729
Aug 20, 2025
e6a8942
typo
Aug 20, 2025
5f008e6
remove class MorphismToCompletion
Aug 20, 2025
7468d4a
typo
Aug 20, 2025
779cb91
documentation of the function morphism_to_completion
Aug 20, 2025
aa9e296
back to the initial implementation of _first_ngens
Aug 24, 2025
5388244
gives generator to completion functor
Aug 24, 2025
a5d3d7d
a specific class for completions
Aug 25, 2025
6791145
implementation using RingExtension
Aug 26, 2025
dede4c3
fix default precision
Aug 26, 2025
e31740c
use quotient instead of extension
Aug 27, 2025
d0bf69c
set up correctly the generator
Aug 27, 2025
1177266
Merge branch 'develop' of https://github.com/sagemath/sage into compl…
Aug 27, 2025
b2ee24f
completion of rational function field
Aug 27, 2025
4dea431
infinite place
Aug 28, 2025
0f8b78d
bigoh
Aug 28, 2025
c84ffe6
implement quasi-linear algorithm for expansion (and printing)
Aug 28, 2025
ee59022
doctests
Aug 29, 2025
d816dc5
completion -> completion_polynomial_ring
Aug 30, 2025
973dffa
oops
Aug 30, 2025
065f97f
address some comments by Travis
Sep 3, 2025
9a276cc
more comments
Sep 3, 2025
94d109f
Merge branch 'develop' into completion
Sep 11, 2025
4f03b1d
Merge branch 'develop' into completion
xcaruso Oct 1, 2025
b65063b
Merge branch 'develop' into completion
xcaruso Oct 30, 2025
5329139
import code
Nov 6, 2025
4b7b753
use denominator
Nov 6, 2025
3ee5ece
submotives and quotients
Nov 6, 2025
4f8a3e4
refactorisation of files
Nov 6, 2025
86df1a6
short introduction to Anderson motives
Nov 6, 2025
1475aa1
more documentation
Nov 6, 2025
44e5e52
include Anderson motives in the reference manual
Nov 6, 2025
16c99cd
TestSuite passes
Nov 7, 2025
88c44d3
more doctests
Nov 7, 2025
e32fb36
doctests in anderson_motive.py
Nov 7, 2025
104bef0
doctest for the method anderson_motive in morphism.py
Nov 7, 2025
b69013d
doctests in the category
Nov 7, 2025
02d7381
add INPUT sections
Nov 7, 2025
333410c
lint
Nov 7, 2025
874e6d4
fix failing doctests and documentation
Nov 8, 2025
40bdce9
two more typos
Nov 8, 2025
d0da98f
fix several broken links in the documentation
Nov 8, 2025
8cf31cf
more fixed in documentation
Nov 8, 2025
6225a70
Merge branch 'develop' into completion
Nov 12, 2025
e7ad051
Merge branch 'develop' into anderson_motives
Nov 14, 2025
e7ff65b
a first round of corrections
Nov 14, 2025
6a1c908
improve documentation in constructor
Nov 14, 2025
dcfd39d
second round of corrections
Nov 14, 2025
fd81879
remove carlitz_twist and dual (will come back later with tensor produ…
Nov 15, 2025
510d18b
rework documentation of AndersonMotive
Nov 15, 2025
e7be6ea
fix indentation
Nov 15, 2025
b312cb0
Merge branch 'develop' into completion
Dec 4, 2025
e1b63ad
Merge branch 'develop' into anderson_motives
Dec 4, 2025
c492040
distinguish between base and A_field
Dec 13, 2025
8ec8e1a
Merge branch 'drinfeld_base' into anderson_motives
Dec 13, 2025
95704d0
fix A_field
Dec 13, 2025
3aaf495
set default_prec in the O(.) construction
Dec 13, 2025
efa36ae
use dynamic classes
Dec 15, 2025
0c55628
Merge branch 'completion' into Lseries
Dec 15, 2025
57b0382
import code
Dec 15, 2025
423ed7b
new completion framework
Dec 15, 2025
06285c9
implement carlitz_zeta and L-series for Drinfeld modules
Dec 16, 2025
b3de67c
change order of arguments
Dec 16, 2025
a6d96e6
oops
Dec 16, 2025
195a155
Merge branch 'develop' into Lseries
Dec 17, 2025
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 2 additions & 0 deletions src/doc/en/reference/categories/index.rst
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down Expand Up @@ -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
Expand Down
29 changes: 12 additions & 17 deletions src/doc/en/reference/drinfeld_modules/index.rst
Original file line number Diff line number Diff line change
@@ -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
Expand All @@ -11,9 +11,11 @@ Drinfeld modules
.. toctree::
:maxdepth: 2

sage/rings/function_field/drinfeld_modules/carlitz_module
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
-----------------------
Expand All @@ -24,20 +26,13 @@ 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
sage/rings/function_field/drinfeld_modules/anderson_motive_rational

.. include:: ../footer.txt
2 changes: 1 addition & 1 deletion src/doc/en/reference/index.rst
Original file line number Diff line number Diff line change
Expand Up @@ -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
-------------
Expand Down
Loading
Loading