#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|
8e586e241a4365f8c21aa9d4f82fdcf920955b0a
Dependencies: | Stopgaps:
-------------------------------------+-------------------------------------
Comment (by tscrim):
I've fixed some things around, in particular, I made the definitions as
general as possible. Because the basis for a filtered module are assumed
to be homogeneous elements, the multiplication for the associated graded
algebras is independent of the choice of basis. Actually, I'm pretty sure
the important chunk of the assoc. graded algebras could be generalized for
filtered algebras without a distinguished basis (or when the input is not
a !CombinatorialFreeModule), but I think that can wait. I also put
Clifford and (Diff) Weyl algebras as filtered algebras because it was easy
enough to do.
--
Ticket URL: <http://trac.sagemath.org/ticket/17096#comment:20>
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.