Ticket #11688 (new enhancement)

Opened 22 months ago

Last modified 13 months ago

graded modules and graded algebras

Reported by: chapoton Owned by: sage-combinat
Priority: minor Milestone: sage-5.10
Component: combinatorics Keywords: graded modules, graded algebras
Cc: sage-combinat Work issues:
Report Upstream: N/A Reviewers:
Authors: Merged in:
Dependencies: Stopgaps:

Description (last modified by chapoton) (diff)

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

Change History

comment:1 Changed 22 months ago by chapoton

  • Description modified (diff)

comment:2 Changed 13 months ago by chapoton

  • Milestone changed from sage-5.0 to sage-5.1

comment:3 Changed 13 months ago by jhpalmieri

It would be nice to implement the Koszul sign convention for tensor products, also.

Note: See TracTickets for help on using tickets.