Re: [open-axiom-devel] other lisps
A system for computer algebra and symbolic mathematics
Brought to you by:
dos-reis
From: Waldek H. <he...@ma...> - 2007-11-28 02:41:08
|
Martin Rubey wrote: > By the way, here is part of the next-to last Changelog entry of FriCAS: > > * src/interp/nlib.lisp: Add ECL variants of some functions. > * file src/interp/util.lisp: Likewise. > * src/interp/vmlisp.lisp: Likewise. > * src/lisp/axiom-lisp.lisp: Likewise. > > I can only suspect that ECL is the lisp implementation. But no matter whether > it is or not, I think you guys really should try to cooperate. It looks like a > lot of wasted time. > Yes, ECL is Embeddable Common-Lisp. FYI I have recently succesfully bootstrapped ECL based FriCAS. There are some problems with the port: - ECL changes break GCL based build - build works at safety 2 (default in ECL) but fails if safety is 1 or 0 - there is a bunch of failing tests - bootstrap takes more than 16 hours (on Core Duo machine). For comparison on the same machine clisp needs slightly more than 3 hours for bootstrap. - resulting AXIOMsys is quite slow (slower than clisp based one) - no graphic/HyperDoc support I hope that build at safety 0 will work faster (and that the resulting AXIOMsys will be faster). Concerning wasted work, I do not think it so bad: first step in supporting ECL was to fix various bugs - some fixes I picked from OpenAxiom. Another step was to identify ECL bug which prevented creating correct interpsys. This bug was fixed by main ECL developer (Juan Jose Garcia Ripoll) -- I belive that the fix is also important for OpenAxiom. The commit in question implements various support routines needed in interpsys and AXIOMsys. I am not sure if Gaby has similar routines but if not, then OpenAxiom can easily benefit from them. The remaining (uncommited -- I can provide a patch if anybody wants to see it) part of ECL support deals mostly with build machinery. Here it seems that I and Gaby have somewhat different opinions. I use what I consider rather small change to machinery introduced by Gaby in build-improvements. I feel that having working build process supporting various Lisp system reasonably justifies my choice. AFAICS Gaby wanted deeper changes -- I think he can better explain what technique he uses and give good reason why. BTW: Gaby, can you build bootsys using ECL at safety 0? I am getting errors already in bootsys build. -- Waldek Hebisch he...@ma... |