[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Axiom-developer] Re: Aldor and Axiom
From: |
root |
Subject: |
Re: [Axiom-developer] Re: Aldor and Axiom |
Date: |
Tue, 14 Feb 2006 15:24:42 -0500 |
> Agreed. Am I correct that the logical starting point is to identify
> where the compiler ends and the math begins (whether it is set/category
> theory or Axiom's domain and cagetory implementation or whatever) and
> get the core parts documented and working on top of Aldor?
The logical starting point might be to try to encode your units work
in Axiom using Aldor. Since you don't depend on anything there cannot
be an issue. And it will provide a learning experience for us all since
you'll be the first person to combine Axiom, Literate Programming, and
Aldor. If you document the steps properly it can become a whole chapter
in the Axiom developer book (vol 4). For reference look at the documentation
I wrote for developing polynomials using the Aldor compiler.
Tim
- [Axiom-developer] RE: Aldor and Axiom, (continued)
- [Axiom-developer] RE: Aldor and Axiom, C Y, 2006/02/13
- [Axiom-developer] RE: Aldor and Axiom, Bill Page, 2006/02/13
- [Axiom-developer] RE: Aldor and Axiom, C Y, 2006/02/13
- [Axiom-developer] RE: Aldor and Axiom, Bill Page, 2006/02/13
- [Axiom-developer] RE: Aldor and Axiom, C Y, 2006/02/13
- [Axiom-developer] Re: Aldor and Axiom, Ralf Hemmecke, 2006/02/14
- [Axiom-developer] Re: Aldor and Axiom, Ralf Hemmecke, 2006/02/14
- [Axiom-developer] Re: Aldor and Axiom, C Y, 2006/02/14
- [Axiom-developer] Re: Aldor and Axiom, Ralf Hemmecke, 2006/02/14
- [Axiom-developer] Re: Aldor and Axiom, C Y, 2006/02/14
- Re: [Axiom-developer] Re: Aldor and Axiom,
root <=
- Re: [Axiom-developer] Re: Aldor and Axiom, C Y, 2006/02/14
- Re: [Axiom-developer] Re: Aldor and Axiom, Ralf Hemmecke, 2006/02/15
- Re: [Axiom-developer] Re: Aldor and Axiom, Martin Rubey, 2006/02/15
- Re: [Axiom-developer] Re: Aldor and Axiom, Ralf Hemmecke, 2006/02/15
- Re: [Axiom-developer] Re: Aldor and Axiom, Martin Rubey, 2006/02/15
- Re: [Axiom-developer] Re: Aldor and Axiom, Ralf Hemmecke, 2006/02/15
- Re: [Axiom-developer] Re: Aldor and Axiom, Martin Rubey, 2006/02/15
- Re: [Axiom-developer] Re: Aldor and Axiom, root, 2006/02/15
- Re: [Axiom-developer] Re: Aldor and Axiom, root, 2006/02/15
- Re: [Axiom-developer] Re: Aldor and Axiom, root, 2006/02/15