Opened 8 years ago
Closed 7 years ago
#17402 closed defect (fixed)
SR.power_series cannot handle symbolic series
Reported by:  Ralf Stephan  Owned by:  

Priority:  major  Milestone:  sage7.2 
Component:  symbolics  Keywords:  conversion, ring 
Cc:  Merged in:  
Authors:  Ralf Stephan  Reviewers:  Volker Braun 
Report Upstream:  N/A  Work issues:  
Branch:  00c35cd (Commits, GitHub, GitLab)  Commit:  00c35cdfa9e4328f099f6f95a00ab29e2cc2037f 
Dependencies:  #17399, #17659  Stopgaps: 
Description
sage: x=var('x') sage: s=(1/(1x)).series(x,6) sage: ps=s.power_series(SR) sage: ps x^5 + x^4 + x^3 + x^2 + x + Order(x^6) + 1 + O(x) sage: ps=s.power_series(QQ) ... TypeError: unable to convert 1 + 1*x + 1*x^2 + 1*x^3 + 1*x^4 + 1*x^5 + Order(x^6) to a rational
This is analogous to #16203 and can be worked around using truncate()
but really should work out of the box.
Change History (14)
comment:1 Changed 8 years ago by
Branch:  → u/rws/sr_power_series_cannot_handle_symbolic_series 

comment:2 Changed 8 years ago by
Authors:  → Ralf Stephan 

Commit:  → 6cd5286d987cf944621fb7666f1756b7785bcd0b 
Keywords:  conversion ring added 
Status:  new → needs_review 
comment:3 Changed 8 years ago by
Commit:  6cd5286d987cf944621fb7666f1756b7785bcd0b → bcdb893753f2ce02eaf370b10265b2002c7f6b31 

Branch pushed to git repo; I updated commit sha1. New commits:
bcdb893  17402: handle series in SR.power_series()

comment:4 Changed 8 years ago by
Dependencies:  → #17399 

comment:5 Changed 8 years ago by
Branch:  u/rws/sr_power_series_cannot_handle_symbolic_series → public/17402 

comment:6 Changed 8 years ago by
Commit:  bcdb893753f2ce02eaf370b10265b2002c7f6b31 → 353612066f6a407d4428c54f18cec1611e11181b 

Dependencies:  #17399 → #17399, #17659 
comment:7 Changed 8 years ago by
Commit:  353612066f6a407d4428c54f18cec1611e11181b → 95daf79fcc402bd691a201e0956190f4a5af94fb 

Branch pushed to git repo; I updated commit sha1. New commits:
95daf79  Merge branch 'develop' into t/17402/public/17402

comment:9 Changed 8 years ago by
Milestone:  sage6.5 → sagepending 

Pending because #17659 is pending.
comment:10 Changed 7 years ago by
Branch:  public/17402 → u/rws/174021 

comment:11 Changed 7 years ago by
Commit:  95daf79fcc402bd691a201e0956190f4a5af94fb → 00c35cdfa9e4328f099f6f95a00ab29e2cc2037f 

Milestone:  sagepending → sage7.2 
New commits:
00c35cd  17402: add SymbolicSeries.power_series

comment:12 Changed 7 years ago by
Reviewers:  → Volker Braun 

Status:  needs_review → positive_review 
comment:13 Changed 7 years ago by
The diff shown by the branch link of this ticket is different than what I get with git trac pull
into develop. I hope this is just a trac problem.
comment:14 Changed 7 years ago by
Branch:  u/rws/174021 → 00c35cdfa9e4328f099f6f95a00ab29e2cc2037f 

Resolution:  → fixed 
Status:  positive_review → closed 
Note: See
TracTickets for help on using
tickets.
New commits:
17399: do not let maxima handle ex.series coefficients
17399: roll back previous commit to allow merge of 17428
17438: implement coeff list
17438: deprecate ex.coeff/coeffs()
17438: implement ex.list()
Merge branch 'u/rws/coefficients_of_symbolic_expressions_revamp' of trac.sagemath.org:sage into t/17399/fix_coefficients_for_symbolic_series
17399: handle series in ex.coefficients()