SR.power_series cannot handle symbolic series

[rwst]

sage: x=var('x')
sage: s=(1/(1-x)).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.

Depends on #17399
Depends on #17659

Component: symbolics

Keywords: conversion, ring

Author: Ralf Stephan

Branch/Commit: 00c35cd

Reviewer: Volker Braun

Issue created by migration from https://trac.sagemath.org/ticket/17402

[rwst]

Branch: u/rws/sr_power_series_cannot_handle_symbolic_series

[rwst]

New commits:

32ae67c	17399: do not let maxima handle ex.series coefficients
99820cf	17399: roll back previous commit to allow merge of 17428
d7da52c	17438: implement coeff list
9452fa9	17438: deprecate ex.coeff/coeffs()
0fec129	17438: implement ex.list()
168b659	Merge branch 'u/rws/coefficients_of_symbolic_expressions_revamp' of trac.sagemath.org:sage into t/17399/fix_coefficients_for_symbolic_series
6cd5286	17399: handle series in ex.coefficients()

[rwst]

Author: Ralf Stephan

[rwst]

Commit: 6cd5286

[rwst]

Changed keywords from none to conversion, ring

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. New commits:

bcdb893

17402: handle series in SR.power_series()

[sagetrac-git]

Changed commit from 6cd5286 to bcdb893

[rwst]

Dependencies: #17399

[rwst]

Changed branch from u/rws/sr_power_series_cannot_handle_symbolic_series to public/17402

[rwst]

comment:6

Made dependent from #17659; all squashed into one commit.

---

New commits:

3536120

17402: merge 17659; add SymbolicSeries.power_series