Opened 10 years ago
Last modified 5 years ago
#6800 needs_work enhancement
formal/lazy/infinite powerseries
Reported by: | Henryk.Trappmann | Owned by: | burcin |
---|---|---|---|
Priority: | major | Milestone: | sage-6.4 |
Component: | algebra | Keywords: | LazyPowerSeries |
Cc: | sage-combinat, mantepse | Merged in: | |
Authors: | Henryk Trappmann | Reviewers: | |
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 (8)
Changed 10 years ago by
comment:1 Changed 9 years ago by
- Cc sage-combinat added
- Component changed from calculus to algebra
- Description modified (diff)
- Report Upstream set to N/A
- Status changed from needs_review to needs_work
- Summary changed from [with patch, needs review] formal/lazy/infinite powerseries to 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 6 years ago by
- Milestone changed from sage-5.11 to sage-5.12
comment:3 Changed 5 years ago by
- Cc mantepse added
- Keywords LazyPowerSeries added
comment:4 Changed 5 years ago by
- Milestone changed from sage-6.1 to sage-6.2
comment:5 Changed 5 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 5 years ago by
- Milestone changed from sage-6.2 to sage-6.3
comment:7 Changed 5 years ago by
- Milestone changed from sage-6.3 to sage-6.4
patch adds the file formal_powerseries.py