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:

Status badges


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/ 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)

infinite_polynomial_ring.patch (1.9 KB) - added by gh-potuz 2 years ago.

Download all attachments as: .zip

Change History (6)

Changed 2 years ago by gh-potuz

comment:1 Changed 21 months ago by embray

  • Milestone changed from sage-8.9 to sage-9.1

Ticket retargeted after milestone closed

comment:2 Changed 18 months ago by mkoeppe

  • 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 mkoeppe

  • Milestone changed from sage-9.2 to sage-9.3

comment:4 Changed 7 months ago by mkoeppe

  • 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 mkoeppe

  • Milestone changed from sage-9.4 to sage-9.5
Note: See TracTickets for help on using tickets.