#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|
b29f67e46e18721313330d3a6e116cf3df2eaf8e
Dependencies: | Stopgaps:
-------------------------------------+-------------------------------------
Comment (by tscrim):
Replying to [comment:41 darij]:
> Ah! This is a good idea; then `induced_graded_map` will also have to be
moved to the filtered algebra class. Can you move the three methods you
mentioned please? I will then implement `induced_graded_map`.
Will do tomorrow, but will do (plus incorporate John's and Nils' changes).
> So let me get it right: The class `AssociatedGraded` is not going to be
a class to be inherited from; it will plainly be the way to construct
associated graded algebras if nothing better is known. The data connecting
`gr(A)` to `A` will be stored on `A` rather than on `gr(A)`. I assume it
makes sense to make `graded_algebra` a cached method to avoid cases where
it is not `UniqueRepresentation`?
Yes, that's correct (although it could be subclasssed but that's not my
intent when I designed it). However it doesn't need to be a cached method
because everything comes along for the ride from the category (and it
should return an equal object every time). Nils, does this lead to a
memory leak when a `@cached_method` return a `UniqueRepresentation`? I
think it does but I don't remember...
> Also, could you reply to my post 36? I don't see
`FilteredAlgebrasWithBasis` ever mentioning `FilteredModulesWithBasis` as
a supercategory, but I guess it should, and I guess its methods should be
on `FilteredModulesWithBasis` as well.
I did in comment:37 and said it was okay with me to move the methods. It's
the category and axiom magic which makes the supercategory property hold.
--
Ticket URL: <http://trac.sagemath.org/ticket/17096#comment:42>
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.
