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:

Status badges

Description (last modified by Alex Ghitza)

New code that implements lazy power and Laurent series.

Attachments (1)

12846.patch (108.0 KB) - added by Henryk.Trappmann 13 years ago.
patch adds the file formal_powerseries.py

Download all attachments as: .zip

Change History (12)

Changed 13 years ago by Henryk.Trappmann

Attachment: 12846.patch added

patch adds the file formal_powerseries.py

comment:1 Changed 13 years ago by Alex Ghitza

Authors: Henryk Trappmann
Cc: Sage Combinat CC user added
Component: calculusalgebra
Description: modified (diff)
Report Upstream: N/A
Status: needs_reviewneeds_work
Summary: [with patch, needs review] formal/lazy/infinite powerseriesformal/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 Jeroen Demeyer

Milestone: sage-5.11sage-5.12

comment:3 Changed 9 years ago by Martin Rubey

Cc: Martin Rubey added
Keywords: LazyPowerSeries added

comment:4 Changed 9 years ago by For batch modifications

Milestone: sage-6.1sage-6.2

comment:5 Changed 9 years ago by Ralf Stephan

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 For batch modifications

Milestone: sage-6.2sage-6.3

comment:7 Changed 8 years ago by For batch modifications

Milestone: sage-6.3sage-6.4

comment:8 Changed 6 weeks ago by Martin Rubey

This is subsumed by #32324.

comment:9 Changed 6 weeks ago by Martin Rubey

Milestone: sage-6.4sage-duplicate/invalid/wontfix
Status: needs_workneeds_review

comment:10 Changed 6 weeks ago by Martin Rubey

Reviewers: Martin Rubey
Status: needs_reviewpositive_review

comment:11 Changed 3 weeks ago by Matthias Köppe

Resolution: invalid
Status: positive_reviewclosed
Note: See TracTickets for help on using tickets.