#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|  
2aec8bdaeba3c34478807342b5659b8e8ceca2f4
   Dependencies:                     |     Stopgaps:
-------------------------------------+-------------------------------------

Comment (by tscrim):

 Okay, I've put in some comments about the translation `A <-> gr A` (it
 actually wasn't a coercion to begin with) and defined some terms. If you
 feel anything more needs to be doc'ed, then could you add it in since I'm
 not sure what more you think is needed?

 Although I think there is still a module isomorphism which sends `G_i ->
 F_i - F_{i-1}` (since I require each `F_i` to be a module. Perhaps I'm
 missing something subtle (and I can't really think in coordinate-free
 terms very well).

--
Ticket URL: <http://trac.sagemath.org/ticket/17096#comment:11>
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.

Reply via email to