[Axiom-developer] RE: Axiom+Texmacs

[Page, Bill]

Tim,

The issue in [1] is not really a problem for the expected
use of Axiom in Texmacs. The main axiom executable is called
AXIOMsys. The TeXmacs - Axiom interface program called
tm_axiom.c normally starts the AXIOMsys process. This process
creates only one prompt for user input and everything works
fine (I think). The double prompt problem arises if someone
tries to modify the tm_axiom.c program to call the 'axiom'
script. This script starts several processes including
AXIOMsys, sman and other processes depending on the options
passed to the script. It has the consequence that two prompts
are generated for user input - the first one due to the
interaction between AXIOMsys and sman.

The point is that *if* one wants to be able to generate Axiom
graphics from a TeXmacs session - something not supported by
just AXIOMsys alone - then it is necessary to call the 'axiom'
script (or at least the sman process) and also make additional
changes to the tm_axiom.c program to accommodate the additional
prompt. This is described in [2].

I am not sure exactly what the issue is in [2]. I am not a
gentoo user and I am not familiar with the gentoo binary
distribution process. But this issue could be related to [1]
if for some reason the person responsible for the gentoo binary
version of tm_axiom.c (which normally comes from the TeXmacs
distribution) configured it to call something other than the
AXIOMsys executable but did not make the required additional
modification to support the double prompt. One of the symptoms
of the double problem problem is that the communication between
Axiom and TeXmacs is broken and the result is similar to what
is described in [1].

Regards,
Bill Page.

PS. I've cc'd the axiom-developer email list since there may
well be some gentoo user out there who has a better idea about
this than I do.

> -----Original Message-----
> From: Tim Yamin [mailto:address@hidden 
> Sent: Monday, March 06, 2006 1:40 PM
> To: address@hidden
> Subject: Axiom+Texmacs
> 
> Hi Bill,
> 
> Do you know if the Axiom double-input issue has been fixed
> in CVS? There are comments both on the Axiom wiki [1] and a
> bug a Gentoo user filed [2] and I'm not too sure where the
> issue is - whether it's upstream or something introduced
> by the compile process.
> 
> Thanks,
> 
> Tim
> 
> [1] http://wiki.axiom-developer.org/TeXmacs
> [2] http://bugs.gentoo.org/show_bug.cgi?id=121430
>