Exploiting SML for Experimenting with Algebraic Algorithms

W. Gehrke, Universita Roma tre

Abstract:

We show the expressive power of the functional programming language Standard ML (SML) in the context of computer algebra. The experiments presented are related to the homomorphic image schema. We present an application of the p-adic lifting technique, the Hensel method, plus a concurrent implementation of the multiple homomorphic image schema utilizing Concurrent ML (CML).