#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|
bb234ec71d1276c6cc14320074b3de6fdc606192
Dependencies: | Stopgaps:
-------------------------------------+-------------------------------------
Comment (by darij):
That `_element_constructor_` definitely shouldn't be a coercion, but even
not being a coercion it should be surrounded with big fat warning signs
for not being what one would expect.
I don't understand your answer to 2). Even your own doc says that the
basis is graded:
{{{
+ def basis(self, d=None):
+ """
+ Return the basis for (an homogeneous component of) ``self``.
}}}
This means precisely that the basis elements have nonnegative integers
ascribed to them, which stand for something like degree.
Generally, it seems to me that your filtered modules are precisely the
same as graded modules, and only the richer "sub"categories (filtered
algebras, filtered coalgebras etc.) differ from their graded counterparts.
If so, this is a perfectly fine design decision, but it would help to
document it explicitly.
--
Ticket URL: <http://trac.sagemath.org/ticket/17096#comment:6>
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.
