[Top][All Lists]

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

Re: [Axiom-developer] Bug?

From: Bill Page
Subject: Re: [Axiom-developer] Bug?
Date: Thu, 29 Mar 2007 19:04:18 -0400
User-agent: Webmail 4.0

Quoting Ralf Hemmecke <address@hidden>:

But Integer has Ring so if you add 3 new functions to Complex2,  1, =
and characteristic() then both Integer and Complex2 can satisfy Ring.

I feared that the anonymous category or the "0: %" were the problem.
But now it is good to know that I should currently avoid the use of
anonymous categories if I want my code to run in Axiom.

I think the problem is confined to just the Axiom interpreter.

Apparently the interpreter does not understand how to evaluate Aldor
anonymous categories.

I guess once Aldor becomes open source

According to
we should have some news at the end of this week.

I certainly hope so and I hope the "news" is good, but considering the
history of this project I don't think that we can necessarily depend on it.

we could classify this as a bug. :-)

Of course it is a bug in any case.

So if SPAD cannot handle anonymous categories and is seems it cannot
then this is a bug even without free Aldor.

No, this construction is ok in both SPAD and Aldor, but in SPAD you
need to escape some special characters. I have added the necessary
_ and now it compiles.

Bill Page.

reply via email to

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