#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:39 darij]:
> Care to elaborate how this will work?
Move `to_graded_conversion`, `from_graded_conversion`, and `projection`
into `FilteredModulesWithBasis`. This would have the effect of reversing
the meaning of to/from, but it would make me feel better that the
morphisms are tied to the domain (whereas putting them in the graded part,
they would be tied to the codomain, making the maps collectible and can
cause the coercion issues). Plus it gives a natural extension to
`GradedModulesWithBasis` and you could use the `homogeneous_component`
method to construct the `projection` method.
In fact, if we do this properly, we can have a category for algebras whose
associated graded is commutative (I thought this was called something like
virtually commutative, but I can't find where I saw this...) where we can
use a faster generic implementation. Again, something for later.
--
Ticket URL: <http://trac.sagemath.org/ticket/17096#comment:40>
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.
