[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Axiom-developer] Re: Literate programming
From: |
Martin Rubey |
Subject: |
Re: [Axiom-developer] Re: Literate programming |
Date: |
23 May 2006 13:39:25 +0200 |
User-agent: |
Gnus/5.09 (Gnus v5.9.0) Emacs/21.4 |
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
- [Axiom-developer] Re: Literate programming, root, 2006/05/16
- Re: [Axiom-developer] Re: Literate programming, M. Edward (Ed) Borasky, 2006/05/22
- Re: [Axiom-developer] Re: Literate programming, Martin Rubey, 2006/05/22
- Re: [Axiom-developer] Re: Literate programming, Ralf Hemmecke, 2006/05/22
- Re: [Axiom-developer] Re: Literate programming, M. Edward (Ed) Borasky, 2006/05/23
- Re: [Axiom-developer] Re: Literate programming, Ralf Hemmecke, 2006/05/23
- Re: [Axiom-developer] Re: Literate programming,
Martin Rubey <=
- Re: [Axiom-developer] Re: Literate programming, Ralf Hemmecke, 2006/05/23
- Re: [Axiom-developer] Re: Literate programming, M. Edward (Ed) Borasky, 2006/05/23
- Re: [Axiom-developer] Re: Literate programming, M. Edward (Ed) Borasky, 2006/05/23