Re: [open-axiom-devel] New project in OpenAxiom

2016-12-26 Thread Bill Page
There are other things to write about but first just a note about LLVM. I have been following a project called CLASP https://github.com/drmeister/clasp . It is still rather pre-beta with a fairly slow but steady rate of development but in principle might eventually be a path from *AXIOM to LLVM. I

Re: [open-axiom-devel] New project in OpenAxiom

2016-12-26 Thread Gabriel Dos Reis
Hi Bill, Happy holidays to you and everybody! I have not done as much as I wish on OpenAxiom this year. However, it is not dead :-) I am very much open to experiments in OpenAxiom and branches. There are quite a few things I would like to do in the coming months: * Make OpenAxiom less relian

[open-axiom-devel] New project in OpenAxiom

2016-12-26 Thread Bill Page
Gaby, I noticed a recent commit to OpenAxiom on GitHub and it reminded me of my New Year's resolution to do more work with Axiom. I did some work early-on this year with OpenAxiom QT gui interface (adding LaTeX output and extending various features like document save/load, etc.) but I did not quit