[Top][All Lists]

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

RE: [Axiom-developer] RE: algebra Makefiles with explicit depende ncies,

From: Page, Bill
Subject: RE: [Axiom-developer] RE: algebra Makefiles with explicit depende ncies, bootstrap, fixed-points etc.
Date: Tue, 11 Jan 2005 11:12:20 -0500


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:

(DEFUN |EUCDOM-;expressIdealMember;LSU;10| (|l| |z| |$|) 
  (PROG (#1=#:G83681 #2=#:G83682 |pid| |q| #3=#:G83679 |v| #4=#:G83680) 
          ((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

Bill Page.

reply via email to

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