Ralf Hemmecke <[EMAIL PROTECTED]> 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
_______________________________________________
Axiom-developer mailing list
[email protected]
http://lists.nongnu.org/mailman/listinfo/axiom-developer
