Re: [Axiom-developer] RE: Another question

[Ralf Hemmecke]

> http://wiki.axiom-developer.org/images/book--main--1/bookvol1.tex
>
> As a pdf file this is about 800 pages.  As html it generates nearly
> 600 png files and my browsers (both FireFox and Explorer) die while
> trying to render it. And the download is pretty horrendous anyway
> :( htlatex indicates a large number of errors which I simply skipped
> for this test.
>
> So it seems that ""one big file" here is not really such a good idea.

I wouldn't care too much. tex4ht can split pages at section points (or 
in fact anywhere you like). Unfortunately, for some strange reason I do 
not get it to work with ALLPROSE. Maybe I haven't tried hard enough. And 
it was not so urgent to me.

> Running mzhtml on this file to generate MathML unfortunately results
> in an improperly formatted XML file:
>
> http://wiki.axiom-developer.org/images/book--main--1/bookvol1m.xml

XML Parsing Error: mismatched tag. Expected: </mrow>.
Location: http://wiki.axiom-developer.org/images/book--main--1/bookvol1m.xml
Line Number 19994, Column 3:

</math>
--^

Hmm, my Firefox 1.5.0.6 doesn't like that file. :-(

> The xml file is about 3 times the size of the pdf file.
>
> Interestingly, running the command
>
>   htlatex bookvol1 "xhtml,jsmath" " -cmozhtf"
>
> to produce a jsMath HTML file results in a file that is slightly
> smaller than the pdf file:
>
> http://wiki.axiom-developer.org/images/book--main--1/bookvol1.html

Wow, that looks amazingly good. Hmm... but I think I would want colored 
backgrounds for the axiom-input and axiom-output lines.

But forget about it. If you look at bookvol1.pamphlet you see something like

\spadcommand{digits(49)}
and then we execute the command:

\spadcommand{solve(x**49-49*x**4+9 = 0,1.e-49)}
$$
address@hidden
\displaystyle
\left[{x = -{0.6546536706904271136718122105095984761851224331
556}},  \right.
\\
\\
\displaystyle
\left.{x ={1.086921395653859508493939035954893289009213388763}},
  \right.
\\
\\
\displaystyle
\left.{x ={0.654653670725527173969468606613676483536148760766
1}}\right]
\end{array}
$$

instead of
\begin{axiominput}
solve(x**49-49*x**4+9 = 0,1.e-49)
\end{axiominput}
\begin{axiomoutput}
... repeat the thing above (which should be autogenerated anyway)
\end{axiomoutput}

I have no way to simply modify a .sty or .4ht file to make that coloring 
happen. That is the problem with writing plain TeX. No good markup. :-(

> > Anyway, would it be a good start to take dhmatrix. We could 
> > tex->latex it while we try to get an html out of it.
>
> Good idea except it looks like this one works already! This document
> was one of the test files that I originally recommended to Eitan so
> perhaps he did tweak tex4ht a little more to help make this work.
> (If so, thanks Eitan. :)

So what next? Where are now the problems?

> Sage has a very nice little latex package for doing exactly
> this sort of thing (but more simply). I think we can easily
> adapt it for Axiom. If you have the Sage distribution, it is
> in the 'examples/latex-embed' directory. If you don't want
> do download and install all of Sage, then I can just send it
> to you. Also the new graphviz.sty has a similar technique that
> could even be used to run Axiom automatically as part of the
> LaTeX compile.

I remember I have seen that thing in graphviz.sty. Nevertheless, could 
you send over this SAGE file. I don't have SAGE running here.

> > The \begin{axiomoutput}{somenumber} ... \end{axiomoutput}
> > environments should simply ignore there content and set the
> > content of the file axiom.somenumber.tex.
> >
> > Doesn't sound un-doable to me.
>
> Quite doable. Now, the question is: Are Axiom developers and
> users really motivated to use this sort of thing??

Ooops. What sort of thing?

Ralf