#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:
Branch: | Commit:
public/categories/filtered_algebras-17096|
8a747c073e706950d1b14e77458539e126ff0550
Dependencies: | Stopgaps:
-------------------------------------+-------------------------------------
Comment (by darij):
Replying to [comment:61 jhpalmieri]:
> I still don't understand this design choice. Why not separate
filtrations and gradings? A graded object without additional filtration
could still be considered to be filtered (by having the filtration method
default to calling `degree`), but this wouldn't have to be the only
choice.
How do you suggest separating them?
(In a better language, there would be a way to handle this using some kind
of aliases. Note that there are many modules and algebras in nature having
multiple filtrations, so just creating a slot for a grading and a slot for
filtrations doesn't seem like a smart move to me.)
@nbruin: I only really digested your post right now. So my changes do
cause memleaks. OK, nothing easier than removing some @cached_method
decorators. But... can you look at the code for `induced_graded_map` and
tell me how to avoid having it re-construct the `other.projection(i)`
method every time I call its return value? (And while the ass. gr. algebra
itself might be UniqueRepresentations, things like the `projection` map
are not unless we hash them.)
--
Ticket URL: <http://trac.sagemath.org/ticket/17096#comment:62>
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.
