#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 darij):
Replying to [comment:42 tscrim]:
> 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).
Care to explain this? I'm still a newbie to memory handling, so I might be
missing more of the context than you expect. My worry was that every time
`A.graded_algebra()` is called (and it will be called a lot, say, from the
`to_graded_conversion` and `projection` methods), a new instance of this
algebra is created, which takes time and space and might require
additional work to make these instances coerce to each other nicely (I
guess they will do so themselves automatically, but e.g. their polynomial
rings might not).
Also, should I then explain in the doc that everybody who overshadows
`graded_algebra` must also overshadow `projection`, `to_graded_conversion`
and `from_graded_conversion`?
> 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.
Great -- as long as this magic doesn't force every algebra which happens
to be filtered as a module to automatically be considered a filtered
algebra.
--
Ticket URL: <http://trac.sagemath.org/ticket/17096#comment:43>
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.
