Skip to Content.
Sympa Menu

texmacs-users - WinTeXmacs - Axiom problems

Subject: mailing-list for TeXmacs Users

List archive

WinTeXmacs - Axiom problems


Chronological Thread 
  • From: address@hidden
  • To: address@hidden
  • Subject: WinTeXmacs - Axiom problems
  • Date: Fri, 10 Nov 2006 13:19:05 +0100 (CET)

Hi,

I´m a WinTeXmacs user since a few days, and I´m using (and needing) it only
as a frontend for Axiom (latest versions: Axiom 0.1.4 and WinTeXmacs 1.0.5).

First I had big problems to start an Axiom session at all (I always got the
error message "Could not create pipe" in WinTeXmacs), until I found the
reason for this problem after quite a lot of trials:
The line ´(:launch "tm_axiom")´ of the file ´init-axiom.scm´ in the folder
´...\WinTeXmacs\TeXmacs\plugins\axiom\progs\init-axiom.scm´ doesn´t work!
When I insert a space after ´tm_axiom´, then it works - so this line shoud be:
(:launch "tm_axiom ")

Ok, at least Axiom is now ´running´ under WinTeXmacs as a session, but it is
not ´working´, at least not correctly!
There are 2 main problems I´ve found yet:

1) Since Axiom uses a space (´ ´) instead of a multiplication character (´*´)
in the output, such expressions are displayed terribly in WinTexmacs.
Trying e.g. "factor(15)" displays "35" in WinTeXmacs, where of course there
actually IS a space between 3 and 5, but you can´t see it (since this space
is too small)!
This problem is even more dramatically for variables:
Entering e.g. "x*y-xy" gives the result "xy-xy" ...

2) Even correctly formatted results from Axiom are displayed wrong in
WinTeXmacs - here´s only one example:
Entering "xy/y" gives the following output:
y
x-
y

(If that´s not correctly displayed here, it´s a "x" immediately followed by a
fraction "y/y")
Here WinTeXmacs seem to interpret "xy" as if it would be "x y", although
Axiom is correctly returning a TeX expression ´xy \over y´!

So only these 2 problems are absolutely enough, to not trust any WinTeXmacs
output of Axiom results at all - maybe you can imagine, what terribly wrong
´results´ would happen for more complicated expressions ...

Now my question:
Is there any way to solve these problems?
Or is there a newer version of the Axiom-WinTeXmacs interface (tm_axiom)
available, where these bugs have been fixed?

Well, I hope so - otherwise we can simply forget using Axiom as a WinTeXmacs
session ... :-(

Best regards,
Franz.



Archive powered by MHonArc 2.6.19.

Top of Page