Re: [Axiom-developer] RE: algebra Makefiles with explicitdependencies, bootstrap, fixed-points etc.

[Stephen Wilson]

Bill, Tim,

I have an update. I will try a rebuild tonight with what I think is a
probable fix for most of the affected domains. 

The bootstrap code for SingleInteger does not contain a `one?'
function. On the second iteration the `one?' is compiled, changing
the domain vector for SingleInteger. Propagation is exactly what is
going on here. 

There is an interesting story behind how I tracked this down. I'll
prepare some notes and document some the the lookup functions used
within the compiler runtime.

I'll report back after the build finishes. 


Cheers,
Steve