RE: [Axiom-developer] RE: algebra Makefiles with explicit depende ncies, bootstrap, fixed-points etc.

[Page, Bill]

Steve,

On Monday, January 10, 2005 9:19 PM you wrote:
> 
> On Mon, Jan 10, 2005 at 09:39:22PM -0500, root wrote:
> > It appears that expressIdealMember is not mentioned in the
> > signature list for EuclideanDomain() and was not used locally
> > so the compiler did not generate code for it.
> 
> I noticed this too but Im not confident that this is the case.
> The catdef.spad.pamphlet has a stanza `<<EUCDOM-.lsp BOOTSTRAP>>='
> which includes the (nonexistent) chunk
> `<<EUCDOM-;expressIdealMember;LSU;10>>'. 
> The bootstrap code for EUCDOM mentions this function explicitly,
> as does bootstrap code in INT and SINT. Moreover, the code for
> this function is generated at the end of a normal build. I really
> think this a missing chunk (or, perhaps, I'm missing one :).
> 

Maybe it is the latter case :) ...

When I check catdef.spad.pamphlet on my system I do see a chunk
with this name at line 1866:

<<EUCDOM-;expressIdealMember;LSU;10>>=
(DEFUN |EUCDOM-;expressIdealMember;LSU;10| (|l| |z| |$|) 
  (PROG (#1=#:G83681 #2=#:G83682 |pid| |q| #3=#:G83679 |v| #4=#:G83680) 
    (RETURN 
      (SEQ 
        (COND 
          ((SPADCALL |z| (|spadConstant| |$| 26) (QREFELT |$| 44))

...

And the function definition also occurs in int/EUCDOM-.lsp
So the code is not missing in at least the axiom--windows--1
branch.

Regards,
Bill Page.