[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
## Re: [Axiom-developer] Cylindrical Algebraic Decompostion for Axiom

**From**: |
root |

**Subject**: |
Re: [Axiom-developer] Cylindrical Algebraic Decompostion for Axiom |

**Date**: |
Wed, 12 Oct 2005 18:55:13 -0400 |

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