Skip to content

Method A-field for Drinfeld modules #40420

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
wants to merge 1 commit into
base: develop
Choose a base branch
from

Conversation

xcaruso
Copy link
Contributor

@xcaruso xcaruso commented Jul 16, 2025

We implement the method A_field for Drinfeld modules.
It is a synonym of base; however, having it will be convenient when we implement Anderson motives (coming soon) since A-field and base ring are not the same in this case.

📝 Checklist

  • The title is concise and informative.
  • 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 and checked the documentation preview.

@kryzar
Copy link
Contributor

kryzar commented Jul 16, 2025

The failing tests are unrelated to this contribution. I accept the PR.

vbraun pushed a commit to vbraun/sage that referenced this pull request Jul 18, 2025
sagemathgh-40420: Method A-field for Drinfeld modules
    
We implement the method `A_field` for Drinfeld modules.
It is a synonym of `base`; however, having it will be convenient when we
implement Anderson motives (coming soon) since A-field and base ring are
not the same in this case.


### 📝 Checklist

<!-- Put an `x` in all the boxes that apply. -->

- [x] The title is concise and informative.
- [x] The description explains in detail what this PR is about.
- [ ] I have linked a relevant issue or discussion.
- [x] I have created tests covering the changes.
- [x] I have updated the documentation and checked the documentation
preview.
    
URL: sagemath#40420
Reported by: Xavier Caruso
Reviewer(s): Antoine Leudière
vbraun pushed a commit to vbraun/sage that referenced this pull request Jul 18, 2025
sagemathgh-40430: Use the variable name τ instead of t for Drinfeld modules
    
In the theory of Drinfeld module, the classical name of the
noncommutative variable is `τ`. However, in Sage, we currently use `t`,
which might conflict with other standard notations (often the variable
name of the underlying function ring is denoted by `t`).
In this PR, we propose to shift to the notation `τ`. It just changes how
the outputs are printed (by default), not the interface.

### 📝 Checklist

<!-- Put an `x` in all the boxes that apply. -->

- [x] The title is concise and informative.
- [x] The description explains in detail what this PR is about.
- [ ] I have linked a relevant issue or discussion.
- [x] I have created tests covering the changes.
- [x] I have updated the documentation and checked the documentation
preview.

### ⌛ Dependencies

sagemath#40420, sagemath#40421
    
URL: sagemath#40430
Reported by: Xavier Caruso
Reviewer(s): Antoine Leudière
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants
pFad - Phonifier reborn

Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.

Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.


Alternative Proxies:

Alternative Proxy

pFad Proxy

pFad v3 Proxy

pFad v4 Proxy