Opened 6 years ago

Closed 4 years ago

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

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 4 years ago.
trac_11688-review-ts.patch (3.4 KB) - added by tscrim 4 years ago.

Download all attachments as: .zip

Change History (18)

comment:1 Changed 6 years ago by chapoton

  • Description modified (diff)

comment:2 Changed 5 years ago by chapoton

  • Milestone changed from sage-5.0 to sage-5.1

comment:3 Changed 5 years ago by jhpalmieri

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

comment:4 Changed 4 years ago by jdemeyer

  • Milestone changed from sage-5.11 to sage-5.12

comment:5 Changed 4 years ago by chapoton

  • Keywords module algebra added; modules algebras removed

comment:6 Changed 4 years ago by chapoton

See rather #9280

comment:7 Changed 4 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 4 years ago by chapoton

  • Summary changed from graded modules and graded algebras to graded modules

comment:9 Changed 4 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.

Changed 4 years ago by chapoton

comment:10 Changed 4 years ago by chapoton

You are right. I have taken care of that here, as well as I could. I hope I have not broken the patch.

comment:11 Changed 4 years ago by chapoton

  • Description modified (diff)
  • Summary changed from graded modules to graded modules : an example and new element methods

comment:12 Changed 4 years ago by chapoton

  • Authors set to Frédéric Chapoton

Changed 4 years ago by tscrim

comment:13 Changed 4 years ago by tscrim

  • Reviewers set to Travis Scrimshaw

Hey Frederic,

Here's a review patch which just tweaks the indentations. If you agree with my changes, you can set this to positive review.

Best,
Travis

comment:14 Changed 4 years ago by chapoton

  • Status changed from needs_review to positive_review

ok, then positive review

Thanks a lot, Travis

comment:15 Changed 4 years ago by jdemeyer

  • Milestone changed from sage-5.12 to sage-5.13

comment:16 Changed 4 years ago by jdemeyer

  • Merged in set to sage-5.13.beta0
  • Resolution set to fixed
  • Status changed from positive_review to closed
Note: See TracTickets for help on using tickets.