[Axiom-developer] Re: Automation & algebra lattice

[root]

re: author automation

I previously used an automated script to change "Nicolas Bourbaki"
to "The Axiom Team" in all of the Axiom files. However the algebra
files contain real authors names and, where I was sure of the author,
I changed the \author line. This is somewhat bogus because I know that
other people have worked on the various files and never put their names
in the file while others did. That was the original motivation for the
"Bourbaki" name, a group of anonymous mathematicians. We'll try to track
this a little better in the future. Once a file exceeds 5 authors it will
revert to "The Axiom Team" again. Finding the real author's names required
a hand review of each of the 375 algebra files. I didn't see any reliable
way to automate it and I would have to hand-check it anyway.

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.

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.

Tim
address@hidden
address@hidden