Well,
I guess the pieces were'nt small enough. :-)
Now what am I going to do with a $10 CAD certificate? I always buy
from amazon.com!
Maybe if we all pooled our certificates we could buy someone like
Cliff a used copy. ;-)
Cheers,
Bill Page.
On 8/15/07, Amazon.ca Customer Service <[EMAIL PROT
With many thanks to Steve for his unfailing support, good advice, and
endless patience I would like to announce that we have a beta version
of ASDF-Literate working - the Another System Definition Facility
utility commonly used for easy handling of libraries in modern Lisp
systems.
There are still
On 8/14/07, William Sit wrote:
> ...
> For me, translating Spad code accepted by the Axiom interpreter into Spad code
> accepted by the compiler is a pain. Either require explicit coercions and
> calls in
> both the compiler and interpreter, or provide the SAME verifiable/selectable
> assistance i
Martin Rubey wrote:
> My personal preference is:
>
> * no automatic coercion in the compiler
In principle, I agree with this. The source of library code should be
unambiguous
(in addition to well-documented). In practice, it would be nice if there is
some
help, such as spitting out possible co
Please find attached a little modification of your code.
Unfortunately, I am still unable to use "embed1".
(4) -> Z2:=CyclicGroup(2,'a)
(4) CyclicGroup(2,a)
Type: Domain
(5) -> Z3:=CyclicGroup(3,'b)
(5) CyclicGroup(3,b)
Type: Domain
(6)
My personal preference is:
* no automatic coercion in the compiler
* automatic coercion (as intelligent as possible, possibly even several steps,
i.e., assuming that all coercion paths yield the same result, although this
will sometimes not be true in reality) in the interpreter
When writing
On Tue, 14 Aug 2007, Ralf Hemmecke wrote:
| > | > Rather I mean `coercible'. For example an expression of type Integer
| > | > is coercible to Float because Float exports the following function
| > | >
| > | > coerce : Integer -> %
| > |
| > | That is exactly what Aldor does *not* do. It
| > Rather I mean `coercible'. For example an expression of type Integer
| > is coercible to Float because Float exports the following function
| >
| > coerce : Integer -> %
|
| That is exactly what Aldor does *not* do. It never applies "coerce" if one
| doesn't explicitly call for it. A
Ok. How do tell Aldor that I do not care about the name I am only
interested in the anonymous body of a given category definition? I
thought I understood this, but I guess not. The discussion of the
'define' keyword in the AUG lead me to believe that that was what was
implied by it's use.
If I