#11688: graded modules and graded algebras
-----------------------------+----------------------------------------------
   Reporter:  chapoton       |          Owner:  sage-combinat                  
       Type:  enhancement    |         Status:  new                            
   Priority:  minor          |      Milestone:  sage-5.0                       
  Component:  combinatorics  |       Keywords:  graded modules, graded algebras
Work_issues:                 |       Upstream:  N/A                            
   Reviewer:                 |         Author:                                 
     Merged:                 |   Dependencies:                                 
-----------------------------+----------------------------------------------
 Currently some properties of graded modules are implemented in graded
 algebras. It is necessary to put them in their proper place.

 One precise reason is that one can them use these properties for operads.
 One would like to have something like that:

 {{{
 sage: PL=PreLieOperad(QQ)
 sage: a=PL.one()
 sage: a.is_homogeneous()
 True
 sage: a.homogeneous_component(2)
 0
 }}}

 For this, one needs the "homogeneous_component" method for elements and
 not for modules. Maybe "restrict_degree" would be more adequate, like for
 power series.

-- 
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/11688>
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 post to this group, send email to [email protected].
To unsubscribe from this group, send email to 
[email protected].
For more options, visit this group at 
http://groups.google.com/group/sage-trac?hl=en.

Reply via email to