axiom-developer
[Top][All Lists]

Re: [Axiom-developer] Re: Axiom tutorial by Bill

 From: Joris van der Hoeven Subject: Re: [Axiom-developer] Re: Axiom tutorial by Bill Date: Mon, 10 Nov 2003 15:56:51 +0100 (CET)

>       I could live however with a sort of TeX file where an active
> environment takes some input and the math is set in TeX by the system. The
> *control* which I would like to have, is to uses quite different TeX/LaTeX
> classes, which we had eg distributed to authors of book chapters. If you
> get these things back in totally different TeX flavours, its a nightmare.

Yes, but if you really want to use TeX for representing trees,
why not just use a format which has been natively designed for that,
like XML or Lisp/Scheme (I prefer the latter)? And then, why not natively
work with trees all the time and quit the plain ASCII hell? It is amazing
that people who like symbolic algebra are so reluctant to work with
symbolic representations of documents...

>       I will stick to TeXmacs, since it seems to be the obvious frontend
> to AXIOM (beside the console) <grin>.

Ah, now I'm happy :^)))

> > When? Examples? I bet that the produced code will often be
> > better than what you write by hand.
>
> I would have to trace back my mails quite a bit to find these examples.
> Its not the math I wanted to complain abaout, but the missing usage (of
> teh TeXmac users by then) of journal/publisher requitred styles and
> classes.

You may help!

> For own documents, this is not a problem, since one can copy and past the
> output into another TeX file properly formatted. Perhaps TeXmacs is even
> able to do it, but in my quest till now I wasn't able to do it.

Usually, you just have to change \documentclass{article} into

> Hope to get AXIOM/TeXmacs running on my SuSE box, will discuss it with a
> local Linux guru too.

Please let us know if you still have problems. *Don't* take the TeXmacs
RPM shipped by SuSE, because they took a heavily bugged version :^(
I don't understand why the RPM from texmacs.org does not work for you,
since it has been linked statically. I suppose that /usr/bin is in your PATH...