Context Navigation

← Previous Ticket
Next Ticket →

#11688 closed enhancement (fixed)

graded modules : an example and new element methods

Reported by:	chapoton	Owned by:	sage-combinat
Priority:	minor	Milestone:	sage-5.13
Component:	combinatorics	Keywords:	graded module, graded algebra
Cc:	sage-combinat	Merged in:	sage-5.13.beta0
Authors:	Frédéric Chapoton	Reviewers:	Travis Scrimshaw
Report Upstream:	N/A	Work issues:
Branch:		Commit:
Dependencies:		Stopgaps:

Status badges

Description (last modified by chapoton)

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.

This ticket also provide a simple example of graded module (over partitions).

Attachments (2)

trac_11688_graded_module.patch (14.9 KB) - added by chapoton 8 years ago.
trac_11688-review-ts.patch (3.4 KB) - added by tscrim 8 years ago.

Download all attachments as: .zip

Change History (18)

comment:1 Changed 10 years ago by chapoton

Description modified (diff)

comment:2 Changed 9 years ago by chapoton

Milestone changed from sage-5.0 to sage-5.1

comment:3 Changed 9 years ago by jhpalmieri

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

comment:4 Changed 8 years ago by jdemeyer

Milestone changed from sage-5.11 to sage-5.12

comment:5 Changed 8 years ago by chapoton

Keywords module algebra added; modules algebras removed

comment:6 Changed 8 years ago by chapoton

See rather #9280

comment:7 Changed 8 years ago by chapoton

Status changed from new to needs_review

ok, I have cut out and cleaned the relevant part of #9280

the present patch is independant of algebras and concerned only with modules

needs review !

comment:8 Changed 8 years ago by chapoton

Summary changed from graded modules and graded algebras to graded modules

comment:9 Changed 8 years ago by jhpalmieri

Same comment here as at #9280: I should not be listed as an author of the file "sage/categories/examples/graded_modules_with_basis.py". Furthermore, I don't think my name should be at the top of the patch file.