> 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 fricas-devel+unsubscr...@googlegroups.com. To post to this group, send email to fricas-devel@googlegroups.com. Visit this group at https://groups.google.com/group/fricas-devel. For more options, visit https://groups.google.com/d/optout.