Opened 2 years ago
Last modified 2 months ago
#28452 new enhancement
Add weighted degrees to InfinitePolynomialRing
Reported by: | gh-potuz | Owned by: | |
---|---|---|---|
Priority: | minor | Milestone: | sage-9.5 |
Component: | algebra | Keywords: | InfinitePolynomialRing TermOrder |
Cc: | potuz@… | Merged in: | |
Authors: | Reviewers: | ||
Report Upstream: | N/A | Work issues: | |
Branch: | Commit: | ||
Dependencies: | Stopgaps: |
Description
For an infinite polynomial ring of the form k[x_0,x_1,...] it is useful to have degree(x_n) = n (or n+1 to have finite dimensional graded components). This is quite common in the study of arc spaces for example. A quick look at sage/rings/polynomial/infinite_polynomial.py and it seems that this should be easily implemented. I am forcing this degree scheme with the attached patch. It would be useful to have an implementation where one passes a weight (say k) for each variable (say x) and then one has degree(x_n) = k+n.
Attachments (1)
Change History (6)
Changed 2 years ago by
comment:1 Changed 21 months ago by
- Milestone changed from sage-8.9 to sage-9.1
comment:2 Changed 18 months ago by
- Milestone changed from sage-9.1 to sage-9.2
Batch modifying tickets that will likely not be ready for 9.1, based on a review of the ticket title, branch/review status, and last modification date.
comment:3 Changed 13 months ago by
- Milestone changed from sage-9.2 to sage-9.3
comment:4 Changed 7 months ago by
- Milestone changed from sage-9.3 to sage-9.4
Setting new milestone based on a cursory review of ticket status, priority, and last modification date.
comment:5 Changed 2 months ago by
- Milestone changed from sage-9.4 to sage-9.5
Ticket retargeted after milestone closed