Re: [Axiom-developer] Re: Aldor and Axiom

[C Y]

--- root <address@hidden> wrote:

> > 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.

Hmm.  I hadn't thought of that but you're right, at least for the basic
stuff.  Well, it's been a few months so I guess I'm ready for a look at
it with fresh eyes.

> 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.

OK.  Here's a link for the lazy (me in a few hours ;-) : 
http://www.aldor.org/docs/HTML/chap21.html  

Cheers,
CY

__________________________________________________
Do You Yahoo!?
Tired of spam?  Yahoo! Mail has the best spam protection around 
http://mail.yahoo.com