[Axiom-developer] Re: Automation & algebra lattice

[David MENTRE]

Hello Tim,

root <address@hidden> writes:

> re: automating algebra bootstrap 
>
> I will eventually automate the bootstrap rebuild but I'm trying to get 
> the system buildable as a first priority. I need to hand check the code
> just to ensure that I didn't make a major mistake. No doubt I've made
> several but a bootstrap mistake would be very hard to find.

At one point, we will probably have to write a bootstrap process close
to the one used in compilers: from the source, make a compiler C1 which
is used to build a compiler C2, then compare the produced binaries (or
the generated clisp in Axiom's case). 

> re: lattice
>
> I looked for tools that could compute and draw the lattice but found
> none. I have a partial lattice as a DIA file but I haven't touched it
> since april. Now that I have the dependency data there are several
> things I can compute from it and I plan to write a lattice domain in
> Axiom when time permits.

VCG is definitely the tool you want to automate graph (and tree)
drawing. And it is free as in free software (GPL license).


I would be very interested in the lattice you have.


Yours,
d.
-- 
 address@hidden