#17096: Implement categories for filtered algebras
-------------------------------------+-------------------------------------
Reporter: tscrim | Owner: tscrim
Type: enhancement | Status: needs_review
Priority: major | Milestone: sage-6.4
Component: categories | Resolution:
Keywords: filtered algebras | Merged in:
Authors: Travis Scrimshaw | Reviewers:
Report Upstream: N/A | Work issues: comment:60 todo list
Branch: | Commit:
public/categories/filtered_algebras-17096|
dfaaaeb6d9652e071ea89c9854da984bc8ada319
Dependencies: | Stopgaps:
-------------------------------------+-------------------------------------
Comment (by darij):
On the subject of associated graded objects of filtered *modules*, they
are now implemented (see the doctests for why they are a useful notion --
it is really the `induced_graded_map` that makes them useful). But naming
them ``graded_algebra`` is questionable, and I understand jhpalmieri's
objections to it. What about renaming ``graded_algebra`` as
``associated_graded`` (for both modules and algebras)?
(We algebraists don't have a good name for this notion. "Associated
graded" is too long and an adjective that makes the listener search in
vain for a noun. "gr" is too short and hard to pronounce.)
--
Ticket URL: <http://trac.sagemath.org/ticket/17096#comment:79>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
