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 )
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)
Change History (18)
comment:1 Changed 6 years ago by
- Description modified (diff)
comment:2 Changed 5 years ago by
- Milestone changed from sage-5.0 to sage-5.1
comment:3 Changed 5 years ago by
comment:4 Changed 4 years ago by
- Milestone changed from sage-5.11 to sage-5.12
comment:5 Changed 4 years ago by
- Keywords module algebra added; modules algebras removed
comment:6 Changed 4 years ago by
See rather #9280
comment:7 Changed 4 years ago by
- 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
- Summary changed from graded modules and graded algebras to graded modules
comment:9 Changed 4 years ago by
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
comment:10 Changed 4 years ago by
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
- Description modified (diff)
- Summary changed from graded modules to graded modules : an example and new element methods
comment:12 Changed 4 years ago by
Changed 4 years ago by
comment:13 Changed 4 years ago by
- 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
- Status changed from needs_review to positive_review
ok, then positive review
Thanks a lot, Travis
comment:15 Changed 4 years ago by
- Milestone changed from sage-5.12 to sage-5.13
comment:16 Changed 4 years ago by
- Merged in set to sage-5.13.beta0
- Resolution set to fixed
- Status changed from positive_review to closed
It would be nice to implement the Koszul sign convention for tensor products, also.