Opened 12 years ago

Last modified 7 years ago

#8779 new enhancement

Categories for polynomial rings

Reported by: nthiery Owned by: nthiery
Priority: major Milestone:
Component: categories Keywords: polynomial rings, categories
Cc: sage-combinat Merged in:
Authors: Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Status badges

Description

sage: QQ[x].categories()
[Category of commutative rings, Category of rings, ...]

This list should at least contain EuclideanDomains() and GradedAlgebrasWithBasis(QQ). Maybe even GradedHopfAlgebrasWithBasis(QQ).

At that occasion, the various accessors (term, ...) here and in ModulesWithBasis? should be made consistent.

Change History (2)

comment:1 Changed 7 years ago by jpflori

Has this been superceded by #9944?

comment:2 Changed 7 years ago by tscrim

Partially, but polynomial rings are not yet considered to be graded (we already have this implemented because of the degree method).

Note: See TracTickets for help on using tickets.