On May 15, 3:25 am, Francogrex <······@grex.org> wrote:
> I'm particularly looking for the "Hermite Reduction"
> algorithm for symbolic integration, and wonder if someone has already
> written a lisp code for it. Thanks.
In the 1970s, Macsyma was one of the hottest systems for symbolic
integration. It was a major influence on the development of Lisp, and
vice versa. One modern version of Macsyma is Maxima, which runs on
GCL and other Lisps. I'd look through the source code for Maxima for
symbolic integration stuff. I don't know how recently Hermite
Reduction came on that scene.
For Hermite normal form of matrices that contain _integers_, in Common
Lisp, search on Sheafhom. :-)(Or the mainstream packages like Maxima,
Mathematica, Maple, PARI, ...)