RE: TeXmacs+Axiom was: Re: [Axiom-developer] New blood in Axiom

[Bill Page]

Ralf,

On May 20, 2007 4:59 AM you wrote:
> ... 
> > Do you think you could fix TeXmacs to fire up HyperDoc?  
> > The only thing that needs to be changed is the call to
> > "AXIOMsys" (Bill said that TeXmacs calls AXIOMsys rather
> > than axiom) Maybe it's sufficient to replace "AXIOMsys"
> > with "axiom".

No, that is not sufficient. You also have to modify the tm_axiom
program to handle the double Axiom prompt. This is described on
the Axiom wiki.

BTW, I think having TeXmacs start hyperdoc in this way is rather
awkward, since the interaction takes place outside of the TeXmacs
window but at least by calling axiom you can also get Axiom
graphics (which also are presented only outside of TeXmacs).
The TeXmacs interface for many of the TeXmacs plug-ins are more
sophisticated these days, see for example how TeXmacs works with
Maxima. The TeXmacs - Axiom interface is due for a major upgrage.
There was some discussion of this on the Axiom-developer list
about a year ago or so but I don't recall any mention of more
recent work.

> 
> Strange, but I installed the debian etch package of texmacs.

Is that version 1.0.6 of TeXmacs?

> And under
> 
> /usr/share/texmacs/TeXmacs/plugins/axiom/progs/init-axiom.scm
> 
> it says
> 
> (define (axiom-initialize)
>    (import-from (utils plugins plugin-convert))
>    (lazy-input-converter (axiom-input) axiom))
> 
> (plugin-configure axiom
>    (:require (url-exists-in-path? "/usr/bin/axiom"))
>    (:initialize (axiom-initialize))
>    (:launch "tm_axiom")
>    (:session "Axiom"))
> 
> So I would assume that texmacs calls the right thing.

No.  The (:require above is just checking that the file
/usr/bin/axiom exists. This controls whether you see Axiom
listed under the Session memu. It is actually the interface
program tm_axiom that starts Axiom. As far as I know the
version of tm_axiom distributed with TeXmacs starts AXIOMsys.

Note: There is a separate version of tm_axiom for Windows.
Check the TeXmacs pages on the Axiom wiki.

> 
> Unfortunately, I've compiled my own Axiom Gold (patch--50) 
> and I don't know exactly how to call that Axiom.
> 

To use Axiom from TeXmacs AXIOMsys must be in the PATH or
you have to modify tm_axiom.

> Currently, I've created
> ~/.TeXmacs/plugins/axiom/progs/init-axiom.scm 
> and modified the path to point to my Axiom. An Axiom session 
> starts, but the first thing I get is
> 
>    Unexpected End5
> 
> (everythinng in read except a black 5).
> 
> And there is an "axiom]" prompt. Unfortunately, the cursor 
> then is right in the middle of this prompt.
> 
> So I believe Axiom Gold does not work together with TeXmacs.
> Other experiences? Any cure?
> 

That the kind of symptom that I recall when tm_axiom starts
the 'axiom' script which starts sman and creates the double
prompt but tm_axiom has not been modified to accept two
prompts.

Regards,
Bill Page.