#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.

Reply via email to