make power series solutions of differential equations top-level

[kcrisman]

R.<t> = PowerSeriesRing(QQ, default_prec=10)
a = -1 + 0*t
b = 2 + 0*t
h=a.solve_linear_de(b=b,f0=3,prec=10)

This works... but is not exactly very obvious to find! Also, the syntax is crazily different from other desolvers.

Let's make a high level one for this.

CC: @robert-marik

Component: calculus

Keywords: symbolics

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

[burcin]

comment:1

Perhaps a top level desolve_series() function?

[mezzarobba]

comment:4

I don't think we need even more specialized top-level functions... However, a top-level desolve with options to obtain symbolic, series and numeric solutions could be nice to have.