#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):

 For filtered algebras, we (only) have F,,0,, <= F,,1,, <= ..., so for
 graded modules, we'd have G,,i,, = F,,i,, - F,,i-1,, because we want that
 construction of F,,i,, = F,,i-1,, (+) G,,i,, (starting with F,,0,, =
 G,,0,,). Actually, there is something that is wrong; the setminus isn't
 correct because it removes 0. It should be a quotient F,,i,, / F,,i-1,,,
 but other than that, it's consistent.

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