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

 Replying to [comment:37 tscrim]:
 > @darij
 > I really don't like the restrictions of this contract you want to
 impose; it's too restrictive. It should not take a new *class* to do
 something which is mathematically trivial (by our current implementation
 of an implicit filtration). IMO, the better way to do things is to
 implement additional methods in the category for the projections (similar
 to `truncate`) since the methods only use the `degree` methods.

 Care to elaborate how this will work?

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