[Axiom-developer] Embedding Axiom as an OCaml library.

[Guillaume Yziquel]

Hello.

I would appreciate embedding Axiom as an OCaml library.

Looking around in the (huge) documentation of Axiom hasn't been 
extremely fruitful to gather the information that I need.

From what I gather, Axiom, as it is currently distributed in Debian, is 
a modified version of Lisp, with a rather specific language, namely 
spad, and various packages compiled to native code, and accessible from 
the interpreter.

I do not binding interpreters and such, but I'd appreciate informations 
on where to look for the things to bind.

I'd first be interested in importing or replicating the hierarchy to 
include at least the ring of polynomials over the field of real numbers.

How difficult does that seem to be?

All the best,

--
     Guillaume Yziquel