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

_______________________________________________
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-developer

Reply via email to