mailing-list for TeXmacs Users

Text archives Help


Re: [TeXmacs] A rewrite of tm_axiom.c (attached)


Chronological Thread 
  • From: Kostas Oikonomou <address@hidden>
  • To: address@hidden, Enrique Perez-Terron <address@hidden>
  • Subject: Re: [TeXmacs] A rewrite of tm_axiom.c (attached)
  • Date: Mon, 12 Oct 2009 08:51:30 -0400
  • Organization: AT&T Labs Research

Hi Enrique,

Thanks for the contribution.

With respect to the double prompt issue, I had the same problem, that the plugin that comes with TeXmacs 1.0.7.2 doesn't quite work. I resolved this by switching to OpenAxiom, http://open-axiom.sourceforge.net/index.html.
This is a fork of "classic" Axiom, that is much easier to compile on Unix (I use OpenSolaris and SBCL), and may have other advantages as well. OpenAxiom issues a single prompt, and the TeXmacs plugin works fine with that.

I tried your plugin with OpenAxiom, but it wasn't able to establish communication. I haven't tracked down why.

Apart from the prompt, there are some more things that the old plugin doesn't handle well, and I was starting to work on them, so I find your rewritten and commented version quite welcome. Here is a simple example:

factor(3*5*7*11)

apparently produces nonsense, but that is because the plugin doesn't recognize the spaces, or whatever TeXform outputs to separate the factors.

Another example is "verbatim" output from (Open)Axiom. I can provide more details if you are interested.

Regards,

Kostas


Enrique Perez-Terron wrote:
I have tried again now and then to get a working Axiom and TeXmacs
combination. From time to time I read in mailing lists about tricks
that work for others, but they never worked for me.

I found tm_axiom.c in TeXmacs-1.0.7.2-src.tar.gz, but it was so hard to
read that I had to partially translate it into more well-known idioms
and more analizable programming patterns, just to get an idea about what
it does. I have not read the corresponding code in texmacs that
communcates with it, so I do not know what "language" tm_axiom is
supposed to speak.




Archive powered by MHonArc 2.6.19.

Top of page