1. You should probably tell Manuel Bronstein, if you haven't already.
(I don't know Lafaille.)
2. You can try some "hill climbing" for simplification. There
was a paper by people (using Maple) on simplifying hypergeometric
functions using adjacency relations.
3. If your program simplifies expressions with "*", you could
call it "Psychic to the Stars".
RJf
Barton Willis wrote:
>
>
>
>I implemented the method of M. Bronstein & S. Lafaille,
>for solving second-order linear DEs; for a description
>of this method, see their ISSAC'2002 article
>
>http://www-sop.inria.fr/cafe/Manuel.Bronstein/bronstein-eng.html
>
>
>