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

[Stephen Wilson]

Tim,

On Mon, Jan 10, 2005 at 09:47:36PM -0500, root wrote:
> The code was changed. It used to read:
> 
>   one?(x) == ONEP(x)$Lisp
> 
> It now reads:
> 
>   one?(x) == x = 1


True, but the bootstrap code does not contain any definition. We have:

(DEFUN |SINT;zero?;$B;38| (|x| $) (QSZEROP |x|)) 

(DEFUN |SINT;max;3$;39| (|x| |y| $) (QSMAX |x| |y|)) 


The last number in the function names gives the order of the function
in definition in the domain. The definition of `one?' follows
`zero?'. With fresh code we have:

(DEFUN |SINT;zero?;$B;38| (|x| $) (QSZEROP |x|)) 

(DEFUN |SINT;one?;$B;39| (|x| $) (EQL |x| 1)) 

(DEFUN |SINT;max;3$;40| (|x| |y| $) (QSMAX |x| |y|)) 


It was precisely this change in sequence that allowed me to spot this
missing function by looking at the domain vectors. All domains which
relied of functions defined in SINT with `sequence number' > 38
shifted by one in the second pass of the fixed-point build.

Sincerely,
Steve