Opened 4 years ago
Closed 3 years ago
#17402 closed defect (fixed)
SR.power_series cannot handle symbolic series
Reported by:  rws  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)  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 4 years ago by
 Branch set to u/rws/sr_power_series_cannot_handle_symbolic_series
comment:2 Changed 4 years ago by
 Commit set to 6cd5286d987cf944621fb7666f1756b7785bcd0b
 Keywords conversion ring added
 Status changed from new to needs_review
comment:3 Changed 4 years ago by
 Commit changed from 6cd5286d987cf944621fb7666f1756b7785bcd0b to bcdb893753f2ce02eaf370b10265b2002c7f6b31
Branch pushed to git repo; I updated commit sha1. New commits:
bcdb893  17402: handle series in SR.power_series()

comment:4 Changed 4 years ago by
 Dependencies set to #17399
comment:5 Changed 4 years ago by
 Branch changed from u/rws/sr_power_series_cannot_handle_symbolic_series to public/17402
comment:6 Changed 4 years ago by
 Commit changed from bcdb893753f2ce02eaf370b10265b2002c7f6b31 to 353612066f6a407d4428c54f18cec1611e11181b
 Dependencies changed from #17399 to #17399, #17659
comment:7 Changed 4 years ago by
 Commit changed from 353612066f6a407d4428c54f18cec1611e11181b to 95daf79fcc402bd691a201e0956190f4a5af94fb
Branch pushed to git repo; I updated commit sha1. New commits:
95daf79  Merge branch 'develop' into t/17402/public/17402

comment:8 Changed 4 years ago by
Passes all patchbot tests.
comment:9 Changed 4 years ago by
 Milestone changed from sage6.5 to sagepending
Pending because #17659 is pending.
comment:10 Changed 3 years ago by
 Branch changed from public/17402 to u/rws/174021
comment:11 Changed 3 years ago by
 Commit changed from 95daf79fcc402bd691a201e0956190f4a5af94fb to 00c35cdfa9e4328f099f6f95a00ab29e2cc2037f
 Milestone changed from sagepending to sage7.2
New commits:
00c35cd  17402: add SymbolicSeries.power_series

comment:12 Changed 3 years ago by
 Reviewers set to Volker Braun
 Status changed from needs_review to positive_review
comment:13 Changed 3 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 3 years ago by
 Branch changed from u/rws/174021 to 00c35cdfa9e4328f099f6f95a00ab29e2cc2037f
 Resolution set to fixed
 Status changed from positive_review to 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()