Quoting Ralf Hemmecke <[EMAIL PROTECTED]>:
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.
_______________________________________________
Axiom-developer mailing list
[email protected]
http://lists.nongnu.org/mailman/listinfo/axiom-developer
