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
correct in the most recent versions of TeXmacs (1.0.4.5 on cygwin
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.

--