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

[Stephen Wilson]

Tim, Bill,

I attempted a build overnight with the updated bootstrap code for
single integer. I was trying to keep myself optimistic that this was
all of the bootstrap code which would need to be touched. Alas, a
simple substitution has not worked for me; the compilation choked soon
after I left the keyboard for the night.

It would seem that at least all of the bootstrap which involves SINT
needs to be rebuilt. My current list of such categories/domains is

SINT       BOOLEAN     COMRING     INT         
RING       ISTRING     ABELMON     PI
RNG        LIST        SETCAT      CHAR
ABELGRP    NNI         SETCAT-     SYMBOL
CABMON     OUTFORM     UFD         DFLOAT
ABELMON    PI          GCDDOM      ILIST
ABELSG     PRIMARR     REF         VECTOR

Given that the list is quite long, and yet might still be incomplete,
perhaps we should dump all the bootstrap code and update all pamphlet
files?

If you agree this is a good move, perhaps we can think of the possible
advantage of automating the process. e.g. a make option to update the
related bootstrap pamphlet files with fresh code. I have a feeling,
however, that this is such a central aspect of the build it might
better be left as a `by hand process'. What do you think?

I am willing to do this work today if you like. Tim, would you prefer
to take this on given your expertise? If not, any words of wisdom? ;)

Cheers,
Steve


On Sat, Jan 08, 2005 at 11:04:19PM -0500, root wrote:
> Bill,
> 
> The ONEP change is mine. ONEP is a CCL function, not a common lisp function.
> The question that needs to be answered in order to implement ONEP in
> common lisp is what is the representation of '1' in various domains?
> 
> Notice that in a domain 'foo = 1' is a spad way of asking the question.
> This used to be the way it was done but NAG changed it in the CCL 
> implementation (probably for efficiency). 
> 
> Since I couldn't decide what the exact semantics of ONEP are I took
> the safest route.
> 
> Tim