Axiom wishlist (was Re: [Axiom-developer] Re: noweb vs. leo)

[Gabriel Dos Reis]

root <address@hidden> writes:

| >We have found that for a moderately large project (say over 10,000
| >lines of code) an outline (or even a set of outlines) is not enough.
| >We rely heavily on a LaTeX table of contents (our best analog to a Leo
| >outline), but we also rely on diagrams and overview chapters.
| >This is all very expensive in time and effort, and I would say that in
| >my research group we seem to be able to afford this effort only
| >roughly every 5 to 10 years.  Of course we are a very small shop; your
| >mileage may vary.
| 
| The axiom sources will eventually be available as a series of books.
| There are 10 volumes planned so far. Volume 1, the tutorial exists.
| Volume 5, the interpreter is being written now and is likely to be
| the next volume available.
| 
| I don't expect that the books will actually be printed. The last time
| I printed all of the axiom sources (double sided) comprising only the
| naked source code it filled approximately 6 feet of linear shelf space.
| The literate version will likely double that, at minimum. The algebra
| volume alone will take up many linear feet if we succeed in the goal
| of joining the source code with the research papers.
| 
| Of course these books are the actual source code of the system and
| will dynamically change over time. We will need overview volumes
| and a volume that is nothing but index and annotated bibliography.
| I suspect other 'meta-volumes' will come into play.

Tim --

   Have you listed those projects somewhere on Axiom's website?

-- Gaby