axiom-developer
[Top][All Lists]

## [Axiom-developer] [VeryLongLaTeX]

 From: Bill Page Subject: [Axiom-developer] [VeryLongLaTeX] Date: Sat, 18 Dec 2004 22:57:28 -0600

??changed:
-programs for this web site. It has also been used experimentallt in TeXmacs.
-There have been problems reported concerning incorrect formatting that
programs for this web site. It has also been used experimentally in the
TeXmacs - Axiom interface program called tm_axiom.

There have been problems reported concerning incorrect formatting that

??changed:
-Reported by Andrey G. Grozin:
Experiment 0

The first example below was reported by Andrey G. Grozin as failing
when displayed in TeXmacs when using the Sutor line-break algorithm.
But typeset and folded correctly by TeXmacs without the line-break
algorithm. However it does appear correctly below and it is also
and 1.0.4.4 on native windows) when using the newest version of
"tm_axiom":http://page.axiom-developer.org/tm_axiom.zip and

This expression is not folded at all by the current version of
TeXmacs but it displayed correctly both here and in TeXmacs when
using the line-break algorithm.

Experiment 2

This is the first example in the Jenks and Sutor AXIOM book.
It is formatted properly below but in TeXmacs the output is
wrong - small instead of large brackets and one of the terms
of the numerator not display at all. Without the line-break
algorithm TeXmacs displays it correctly but as one long non-
folded line.

\begin{axiom}
integrate (1/(x**3 * (a+b*x)**(1/3)),x)
\end{axiom}

Experiment 3

This simple variant of the above expression, (-1/3) instead
of (1/3), is formatted properly both here and in TeXmacs

\begin{axiom}
integrate (1/(x**3 * (a+b*x)**(-1/3)),x)
\end{axiom}

Notice that the first term in the paranthesis appears a little
odd at first site because the first term itself is "locally
folded" at the ${\mathbf \cdot}$ with a vertically centered leading minus sign.

--