Anderson motives over Fq[t,theta] and their L-functions

[xcaruso]

We provide a rough implementation of Anderson motives over $\mathbb F_q[t, \theta]$.

Implemented features include:

• facilities for computing additive tensorial constructions (direct sums, tensor products, symmetric powers, exterior powers)
• methods for finding places of bad reduction
• efficient methods for computing $L$-functions (at any place) of an Anderson module

As a byproduct, this PR defines a new class for embeddings of a polynomial ring into its completions; this class should probably be moved elsewhere and be covered by another PR.

cc @kryzar @DavidAyotte @ymusleh

📝 Checklist

• The title is concise, informative, and self-explanatory.
• The description explains in detail what this PR is about.
• I have linked a relevant issue or discussion.
• I have created tests covering the changes.
• I have updated the documentation accordingly.

Dependencies

#37201, #37208

[github-actions]

Documentation preview for this PR (built with commit 42033a1; changes) is ready! 🎉

[kryzar]

What's the status of this project? Why is the PR closed?