
From:  Stephen Wilson 
Subject:  Re: [Axiomdeveloper] RE: algebra Makefiles with explicitdependencies, bootstrap, fixedpoints etc. 
Date:  Mon, 10 Jan 2005 21:31:45 0500 
Useragent:  Mutt/1.5.6+20040907i 
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 fixedpoint build. Sincerely, Steve
[Prev in Thread]  Current Thread  [Next in Thread] 