Dima Pasechnik wrote:
> On Friday, August 12, 2016 at 6:36:31 PM UTC+1, Waldek Hebisch wrote:
> > - as Dima wrote Sage interface to Maxima works by putting Maxima
> > in the same process as Sage. This should be possible with
> > FriCAS too. I just checked that using Maxima build on to
> > of sbcl and 'load-fricas.lisp' both FriCAS and Maxima seem
> > to work in single process. So it seems that small adjustment
> > to build system should be enough
> >
> > as far as the latter is concerned, most of the needed code is already in
> Sage;
> namely, src/sage/interfaces/maxima_lib.py is basically an example of
> running Maxima in ECL,
> which is embedded in Python; for the latter the code is in
> src/sage/libs/ecl.pyx
>
> In the latter one sees an example of calling CL functions from Sage:
>
> sage: from sage.libs.ecl import *
> sage: ecl_eval("(defun fibo (n)(cond((= n 0) 0)((= n 1) 1)(T (+
> (fibo (- n 1)) (fibo (- n 2))))))")
> <ECL: FIBO>
> sage: ecl_eval("(mapcar 'fibo '(1 2 3 4 5 6 7))")
> <ECL: (1 1 2 3 5 8 13)>
>
> That is, one would just need to adapt src/sage/interfaces/maxima_lib.py to
> loading/running FriCAS instead.
> For this one needs to know some parts of FriCAS, that is, how to load it in
> a running CL instance, etc etc...
With the following patch applied to FriCAS trunk:
------------------<cut here>---------------------------
Index: src/interp/util.lisp
===================================================================
--- src/interp/util.lisp (revision 2024)
+++ src/interp/util.lisp (working copy)
@@ -392,6 +392,7 @@
(push (list 'defparameter el (symbol-value el))
initforms)))
(push `(interpsys-ecl-image-init ,spad) initforms)
+ (push `(fricas-restart) initforms)
(setf initforms (reverse initforms))
(push `progn initforms)
(setf FRICAS-LISP::*fricas-initial-lisp-forms* initforms)
@@ -421,7 +422,7 @@
spad)
(format *standard-output* "before fricas-restart~%")
(force-output *standard-output*)
- (fricas-restart))
+)
(defun interpsys-image-init (parse-files comp-files browse-files
asauto-files spad)
------------------------<cut here>------------------
I can use the following to produce fricas as shared library:
--------------<cut here>----------------------------
;;; load compiler
(defun foo () nil)
(compile 'foo)
(let ((*default-pathname-defaults*
#P"//sklad/hebisch/fricas/axp7/ax-build87/src/interp/"))
(load "../lisp/fricas-package.lisp")
)
(let ((*default-pathname-defaults*
#P"//sklad/hebisch/fricas/axp7/ax-build87/src/interp/"))
(load "../lisp/fricas-config.lisp")
(load "../lisp/fricas-lisp")
(load "../lisp/primitives.lisp")
(load "../lisp/fricas-ecl.lisp")
(load "makeint.lisp")
(let ((initforms (reverse FRICAS-LISP::*fricas-initial-lisp-forms*)))
(setf initforms (reverse (cdr initforms)))
(c:build-fasl "fricas_lib"
:lisp-files FRICAS-LISP::*fricas-initial-lisp-objects*
:ld-flags FRICAS-LISP::*fricas-extra-c-files*
:epilogue-code initforms)
)
)
--------------------<cut here>--------------------------
This needs to be run once after FriCAS build. It creates
"fricas_lib.fas" in the 'src/interp' subdirectory of FriCAS
build tree.
Note: the paths above are from my machine. Adjust to your
envirinment.
Once FriCAS shared library is created in ECL you can do:
(load "src/interp/fricas_lib.fas")
(in-package "BOOT")
(fricas-init)
and then use FriCAS functions. Presumably in Sage it will look
like:
ecl_eval("(load \"src/interp/fricas_lib.fas\")")
ecl_eval("(in-package \"BOOT\")")
ecl_eval("(fricas-init)")
At some moment you need to set AXIOM environment variable
to inform FriCAS where it can find other files it needs.
In Sage it is probably most convenient to do from Python
code.
--
Waldek Hebisch
--
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.
