> Where is the fricas plugin installed?
I found it in /usr/share/texmacs/TeXmacs/plugins/fricas
$> /usr/share/texmacs/TeXmacs/plugins/fricas $ ls
doc progs
> 2. Does $ fricas -texmacs work?
I am not sure. FriCAS seems to start, the output looks as follows
$> fricas -texmacs
Checking for foreign routines
AXIOM="/usr/local/lib/fricas/target/x86_64-linux-gnu"
spad-lib="/usr/local/lib/fricas/target/x86_64-linux-gnu/lib/libspad.so"
foreign routines found
openServer result -2
FriCAS Computer Algebra System
Version: FriCAS 1.3.3
Timestamp: Mon Mar 12 21:48:52 CET 2018
-----------------------------------------------------------------------------
Issue )copyright to view copyright notices.
Issue )summary for a summary of useful system commands.
Issue )quit to leave FriCAS and return to shell.
-----------------------------------------------------------------------------
Value = #<INTERPRETED-FUNCTION NIL {10048BFF3B}>
prompt#(1) -> )quit
Does that "openServer result -2" suggest something is not right?
My init-fricas.scm was as follows:
(define (fricas-initialize)
(import-from (utils plugins plugin-convert))
(import-from (utils plugins plugin-cmd))
(import-from (dynamic session-menu))
(import-from (fricas-kbd))
(import-from (fricas-menus))
(lazy-input-converter (fricas-input) fricas))
(plugin-configure fricas
(:require (url-exists-in-path? "fricas"))
(:initialize (fricas-initialize))
(:launch "fricas -texmacs")
(:session "Fricas")
(:scripts "Fricas"))
I replaced it from by the one from
https://github.com/fricas/fricas/blob/master/contrib/texmacs/fricas/progs/init-fricas.scm
and now it looks like this:
(plugin-configure fricas
(:require (url-exists-in-path? "fricas"))
(:launch "fricas -texmacs")
(:session "FriCAS")
(:scripts "FriCAS"))
(when (supports-fricas?)
(import-from (fricas-kbd))
(import-from (fricas-menus))
(lazy-input-converter (fricas-input) fricas))
This did not fix the problem,
Thanks,
Slawomir
--
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.
