Re: [Axiom-developer] Re: Literate programming

[Martin Rubey]

Ralf Hemmecke <address@hidden> writes:

> I wanted an environment that describes theory and the program in connection to
> that theory. I didn't have the need to show output of that program. (Well, not
> yet.)

But that's very similar to my request! Namely, integrate MathAction and
HyperDoc into AllProse. I believe that having only one very powerful yet simple
file format (i.e., LaTeX and noweb) would make it a lot simpler to write
documentation.

> Of course it would be nice to have everything together, but I somehow fear
> that people who primarily _use_ CASs are not well trained programmers. I
> think that makes the code part hard to read even if the theory around it is
> nicely described.

I doubt that, given that it will mainly consist of using already existing
functionality.

> Another point is the integrity of an "interactive" or "computed" document. If
> the underlying system changes (for example Maple modified its programming
> language several times) the results in the document might no longer be
> computable, so the document becomes unusable.

For MathAction, I proposed to have an environment

\begin{axiom}[version]
\end{axiom}

that allows you to specify the patch number that you want to use. It seems
however that it's not straightforward to implement this in the current
framework.


Martin