[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

From: C Y
Subject: Re: [Axiom-developer] Re: Aldor and Axiom
Date: Tue, 14 Feb 2006 12:38:24 -0800 (PST)

--- 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 ;-) :  


Do You Yahoo!?
Tired of spam?  Yahoo! Mail has the best spam protection around 

reply via email to

[Prev in Thread] Current Thread [Next in Thread]