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 1 of 2

1 2
Editor:
Time: 2007/11/17 22:56:40 GMT-8
Note:

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



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