MathAction #39 catdef.spad.pamphlet EUCDOM-;expressIdealMember;LSU;10

Topics

FrontPage
- IssueTracker
  - #39 catdef.spad.pamphlet EUCDOM-;expressIdealMember;LSU;10 <-- You are here.

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

Subject: Be Bold !!

	( 14 subscribers )