D-modules over Rational Function Field
Nobody has claimed this yet.
- Dominant language
- Macaulay2
- Stars
- 435
- Forks
- 297
- Avg merge
- 4d 20h
- Merged PRs (30d)
- 11
Description
@antonleykin @mikestillman what are the changes needed to support working with D-modules over rational function fields? I think this is a theoretically sensible ring to work in (derivatives of rational functions are rational functions), and for instance Theorem 1.4.22 in the Grobner Deformations book discusses Grobner bases over rational function fields, so there are applications for this as well. Can you think of any particular dangers to be aware of?
Contributor guide
No contributing guide indexed for this repository
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Research direction
The issue asks what changes and risks are involved in supporting D-modules over rational function fields, but names no files, tests, or entry points. First map the existing D-module and rational-function-field support, then define the required behavior and validation before implementation.
Written by the indexing model from the issue text.
Assessment
- Domain
- backend
- Issue type
- Feature
- Difficulty
- 5/5
- Estimated time
- Over a week
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 20/100