Opened 13 years ago
Closed 3 weeks ago
#6800 closed enhancement (invalid)
formal/lazy/infinite powerseries
Reported by: | Henryk.Trappmann | Owned by: | Burcin Erocal |
---|---|---|---|
Priority: | major | Milestone: | sage-duplicate/invalid/wontfix |
Component: | algebra | Keywords: | LazyPowerSeries |
Cc: | Sage Combinat CC user, Martin Rubey | Merged in: | |
Authors: | Henryk Trappmann | Reviewers: | Martin Rubey |
Report Upstream: | N/A | Work issues: | |
Branch: | Commit: | ||
Dependencies: | Stopgaps: |
Description (last modified by )
New code that implements lazy power and Laurent series.
Attachments (1)
Change History (12)
Changed 13 years ago by
Attachment: | 12846.patch added |
---|
comment:1 Changed 13 years ago by
Authors: | → Henryk Trappmann |
---|---|
Cc: | Sage Combinat CC user added |
Component: | calculus → algebra |
Description: | modified (diff) |
Report Upstream: | → N/A |
Status: | needs_review → needs_work |
Summary: | [with patch, needs review] formal/lazy/infinite powerseries → formal/lazy/infinite powerseries |
The documentation needs some serious reformatting to adhere to the ReST format. I am cc-ing sage-combinat because a lot of people there would be interested in formal power and Laurent series.
comment:2 Changed 9 years ago by
Milestone: | sage-5.11 → sage-5.12 |
---|
comment:3 Changed 9 years ago by
Cc: | Martin Rubey added |
---|---|
Keywords: | LazyPowerSeries added |
comment:4 Changed 9 years ago by
Milestone: | sage-6.1 → sage-6.2 |
---|
comment:5 Changed 9 years ago by
I think although there is combinat.species.series.LazyPowerSeries
this implementation would still be good to have, as the implementation in combinat misses many features included here. It is also needed for P-finite sequences.
However, I don't think it's right to define all special functions anew: the ring or a static function should be able to create a series from a symbolic expression (interpreted as e.g.f.), and , in case of a rational polynomial, delegate to CFiniteSequence (#15714).
There were a few failures:
1 of 39 in sage.rings.formal_powerseries.FormalPowerSeries 1 of 6 in sage.rings.formal_powerseries.FormalPowerSeries.nipow 1 of 6 in sage.rings.formal_powerseries.FormalPowerSeries.pow 3 of 8 in sage.rings.formal_powerseries.FormalPowerSeries0.abel 1 of 4 in sage.rings.formal_powerseries.decidable0
comment:6 Changed 8 years ago by
Milestone: | sage-6.2 → sage-6.3 |
---|
comment:7 Changed 8 years ago by
Milestone: | sage-6.3 → sage-6.4 |
---|
comment:9 Changed 6 weeks ago by
Milestone: | sage-6.4 → sage-duplicate/invalid/wontfix |
---|---|
Status: | needs_work → needs_review |
comment:10 Changed 6 weeks ago by
Reviewers: | → Martin Rubey |
---|---|
Status: | needs_review → positive_review |
comment:11 Changed 3 weeks ago by
Resolution: | → invalid |
---|---|
Status: | positive_review → closed |
patch adds the file formal_powerseries.py