axiom-developer
[Top][All Lists]
Advanced

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

Re: [Axiom-developer] RE: algebra Makefiles with explicitdependencies, b


From: root
Subject: Re: [Axiom-developer] RE: algebra Makefiles with explicitdependencies, bootstrap, fixed-points etc.
Date: Sat, 8 Jan 2005 23:04:19 -0500

Bill,

The ONEP change is mine. ONEP is a CCL function, not a common lisp function.
The question that needs to be answered in order to implement ONEP in
common lisp is what is the representation of '1' in various domains?

Notice that in a domain 'foo = 1' is a spad way of asking the question.
This used to be the way it was done but NAG changed it in the CCL 
implementation (probably for efficiency). 

Since I couldn't decide what the exact semantics of ONEP are I took
the safest route.

Tim




reply via email to

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