Re: [Axiom-developer] Cylindrical Algebraic Decompostion for Axiom

[root]

Renaud,

I'm extremely interested. In particular, it would be helpful to get
permission to use the papers (and/or your thesis) as documentation
to both the algorithm and the program.

Axiom's been moved to using "literate programs" so that all of the files
are now latex documents. Source code for the programs are extracted at
build time. This isn't all that apparent because the algebra source
code for most files is the only contents of the latex file (the literate
program). The only real example of the future form of documentation is
in dhmatrix.spad.pamphlet. I'd like to see the CAD work brought up to
that level of documentation.

Are there any papers you could include in the released materials that
could be merged with code?

Tim Daly