[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Axiom-developer] RE: algebra Makefiles with explicitdependencies, b

From: Stephen Wilson
Subject: Re: [Axiom-developer] RE: algebra Makefiles with explicitdependencies, bootstrap, fixed-points etc.
Date: Mon, 10 Jan 2005 21:31:45 -0500
User-agent: Mutt/1.5.6+20040907i


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.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]