[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Texmacs-dev] TeXmacs plugin for Fricas
From: |
Alexander Solovets |
Subject: |
Re: [Texmacs-dev] TeXmacs plugin for Fricas |
Date: |
Fri, 7 Jan 2011 19:59:08 +1000 |
Not exactly. Fricas requires to set some options before its output
will become valid for reading by TeXmacs. Namely, the command is ")set
output texmacs on". So I need to pass this command to the session
inside TeXmacs. So I expect to start session somehow like that:
(:senddata (:launch "axiom") ")set output texmacs on")
or
(plugin-configure fricas
.....
(:session "Fricas")
(:data ")set output texmacs on"))
Since TeXmacs can send user data into the session, I think it is
possible to do it from the plugin script.
On Fri, Jan 7, 2011 at 7:33 PM, Joris van der Hoeven
<address@hidden> wrote:
> On Fri, Jan 07, 2011 at 01:41:54PM +1000, Alexander Solovets wrote:
>> It is contrary - TeXmacs receives data from Fricas via standard plugin
>> interface. Here is plugin launch code:
>>
>> (plugin-configure fricas
>> (:require (url-exists-in-path? "axiom"))
>> ;(:initialize (fricas-initialize))
>> (:launch "cat ~/texmacs.input - | axiom -nosman")
>> (:session "Fricas"))
>>
>> And I need to put some data in this session. Something like (:send
>> "Fricas" "x + y"). Can I do it in this code?
>
> Yes, you may send a start-up banner to TeXmacs,
> while escaping it using the TeXmacs protocol.
> Is this not enough?
>
> --Joris
>
> _______________________________________________
> Texmacs-dev mailing list
> address@hidden
> http://lists.gnu.org/mailman/listinfo/texmacs-dev
>