This is good news, it will save a lot of time implementing this algorithm.
I also didn't know that you could translate Maple into Maxima code. Where is it in the sources and is there documentation? I couldn't find it by grepping 'maple' in 5.26.0.
> Date: Fri, 6 Apr 2012 15:09:15 -0400
> From: dan.stanger at ieee.org
> To: nijso at hotmail.com; maxima at math.utexas.edu
> Subject: Re: [Maxima] kovacic algorithm
>
> There is also a translator from Maple to Maxima in the Maxima distribution.
> Dan Stanger
> Richard Fateman wrote:
> > On 4/6/2012 2:19 AM, nijso beishuizen wrote:
> >> Thanks for the reply. I have Saunders' paper as well, describing the
> >> algorithm. I am also checking some newer results from Hoeij and Weil,
> >> which result in more compact answers. Might be interesting to
> >> implement, the only problem is time...
> >
> > There is an implementation, in Maple, by Carolyn Smith, in her MS
> > thesis at Waterloo, 1984.
> >
> > http://www.cs.uwaterloo.ca/research/tr/1984/CS-84-35.pdf
> >
>