Re: [Axiom-developer] Bug?

[Bill Page]

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
> http://www.aldor.org/pipermail/aldor-l/2007-March/000620.html
> 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
> http://wiki.axiom-developer.org/SandboxNoAnonymousCategoryMacro
> 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.

http://wiki.axiom-developer.org/SandboxNoAnonymousCategoryMacro/diff

Regards,
Bill Page.