login  home  contents  what's new  discussion  bug reports     help  links  subscribe  changes  refresh  edit

Edit detail for #39 catdef.spad.pamphlet EUCDOM-;expressIdealMember;LSU;10 revision 2 of 2

1 2
Editor: kratt6
Time: 2007/12/28 14:18:21 GMT-8
Note:

added:

From kratt6 Fri Dec 28 14:18:21 -0800 2007
From: kratt6
Date: Fri, 28 Dec 2007 14:18:21 -0800
Subject: 
Message-ID: <20071228141821-0800@axiom-wiki.newsynthesis.org>

Category: Axiom Mathematics => building Axiom from source 
Status: open => need more info 


Submitted by : (unknown) at: 2007-11-17T22:56:40-08:00 (16 years ago)
Name :
Axiom Version :
Category : Severity : Status :
Optional subject :  
Optional comment :

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 :).



------------------------------------------------------------


... --kratt6, Fri, 28 Dec 2007 14:18:21 -0800

Category: Axiom Mathematics => building Axiom from source 
Status: open => need more info