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 AlexGhitza)

New code that implements lazy power and Laurent series.

Attachments (1)

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

Download all attachments as: .zip

Change History (8)

Changed 10 years ago by Henryk.Trappmann

patch adds the file formal_powerseries.py

comment:1 Changed 10 years ago by AlexGhitza

  • Authors set to Henryk Trappmann
  • 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 jdemeyer

  • Milestone changed from sage-5.11 to sage-5.12

comment:3 Changed 6 years ago by mantepse

  • Cc mantepse added
  • Keywords LazyPowerSeries added

comment:4 Changed 6 years ago by vbraun_spam

  • Milestone changed from sage-6.1 to sage-6.2

comment:5 Changed 6 years ago by rws

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 vbraun_spam

  • Milestone changed from sage-6.2 to sage-6.3

comment:7 Changed 5 years ago by vbraun_spam

  • Milestone changed from sage-6.3 to sage-6.4
Note: See TracTickets for help on using tickets.