Re: [fricas-devel] Re: TEXmacs as interface

2018-07-17 Thread Slawomir Kolodynski
Indeed, installing TEXmacs 1.99.7 fixed the problems.

Thank you all for help

Slawomir


On Monday, July 16, 2018 at 3:59:28 AM UTC+2, oldk1331 wrote:
>
> Hi Slawomir, 
>
> TeXmacs 1.0.7.18 was released 5 years ago, you should try more recent 
> version, like 1.99.7. 
>

-- 
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.


Re: [fricas-devel] Re: TEXmacs as interface

2018-07-15 Thread oldk1331
Hi Slawomir,

TeXmacs 1.0.7.18 was released 5 years ago, you should try more recent
version, like 1.99.7.

-- 
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.


[fricas-devel] Re: TEXmacs as interface

2018-07-15 Thread Slawomir Kolodynski
> 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 = #
 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.


Re: [fricas-devel] Re: TEXmacs as interface

2018-07-01 Thread Kurt Pagani
> but haven't had a chance yet to
> compare it to the one distributed with FriCAS

Oh dear, you're right, I didn't think of that.

@Slawomir: see the official version
https://github.com/fricas/fricas/tree/master/contrib/texmacs

@Bill
I certainly added some stuff (a lot provided by you, as I remember) but I've no
clear recollection at the moment. I need to compare as well.



On 01.07.2018 23:24, Bill Page wrote:
> On Sun, Jul 1, 2018 at 4:55 PM, Kurt Pagani  wrote:
>> ...
>> I've attached my config in a pdf, maybe it will help you to find the error.
> 
> Kurt,
> 
> I took a quick look at you config file but haven't had a chance yet to
> compare it to the one distributed with FriCAS.  Have you made many
> improvements and/or extensions?  If so, it would be nice to get these
> into the distribution.
> 
> Thanks.
> 
> Bill.
> 

-- 
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.


Re: [fricas-devel] Re: TEXmacs as interface

2018-07-01 Thread Bill Page
On Sun, Jul 1, 2018 at 4:55 PM, Kurt Pagani  wrote:
> ...
> I've attached my config in a pdf, maybe it will help you to find the error.

Kurt,

I took a quick look at you config file but haven't had a chance yet to
compare it to the one distributed with FriCAS.  Have you made many
improvements and/or extensions?  If so, it would be nice to get these
into the distribution.

Thanks.

Bill.

-- 
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.


[fricas-devel] Re: TEXmacs as interface

2018-07-01 Thread Kurt Pagani
Usually this works well. However, you should check the following 
items/prerequisites:

1. Where is the fricas plugin installed? (should be either local or global 
but not both)
  In ~/.TeXmacs/plugins/fricas/progs/ or globally, e.g.
  /usr/local/share/TeXmacs/plugins/ ?

2. Does $ fricas -texmacs work?

kfp@nilqed:~$ fricas -texmacs

   FriCAS Computer Algebra System 
Version: FriCAS 1.3.3
  Timestamp: Don Apr 12 19:26:08 CEST 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 = #
 prompt#(2) -> )quit

3. In the file init-fricas.scm (folder: TeXmacs/plugins/fricas/progs/)

find the routine

(plugin-configure fricas
(:require #t)
(:launch "fricas -texmacs")
(:session "Fricas")
(:serializer ,fricas-serialize)
(:scripts "Fricas"))

and check the field :launch and :session.
In :launch you may set the full path to fricas, although not necessary.

If all these points are ok, then it should work ...
BTW: your TeXmacs versions is quite old.
I've attached my config in a pdf, maybe it will help you to find the error.



On Sunday, 1 July 2018 16:26:35 UTC+2, Slawomir Kolodynski wrote:
>
> I am trying to use GNU TEXmacs as interface to Fricas. I have installed 
> Fricas 1.3.3 by downloading the tar with binaries and the fricas script is 
> on PATH so I can start fricas from shell by typing "fricas". I also have 
> Texmacs 1.0.7.18 installed from Linux Mint repositories. I assume the 
> Fricas plugin is installed because I can see Fricas as one of the options 
> to select from the Texmacs Insert --> Session menu. However, when I select 
> Fricas there I get "Busy" then "Dead" indication from Texmacs. 
> Does Texmacs 1.0.7.18 work with Fricas 1.3.3? If not, what is a version 
> combination that is known to work? Should I configure Texmacs somehow to 
> point to the location of fricas binaries? How would I do that?
>
> 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.


tmfricas.pdf
Description: Adobe PDF document