[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 ;-) :
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
- [Axiom-developer] RE: Aldor and Axiom, (continued)
- [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, 2006/02/14
- Re: [Axiom-developer] Re: Aldor and Axiom,
C Y <=
- 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
- Re: [Axiom-developer] RE: Aldor and Axiom, Jay Belanger, 2006/02/15