I haven't looked into the code, but the only problem I see, would be
something like
if Dom has commutative("*") then ...
(I have no idea whether the quotes are necessery in this construct.)
Aldor returns the same result no matter whether you write "*" or "+" (in
Aldor, of course without quotes), i.e., a non-type argument does not
matter--which is a aldor bug).
Maybe SPAD behaves better here, I haven't tested it.
Ralf
> I am in favour of replacing attributes by categroies. AFAICS attributes
> are also a performance hack, but I hope that the impact from changing
> attributes to categories should be minimal.
-------------------------------------------------------------------------
This SF.Net email is sponsored by the Moblin Your Move Developer's challenge
Build the coolest Linux based applications with Moblin SDK & win great prizes
Grand prize is a trip for two to an Open Source event anywhere in the world
http://moblin-contest.org/redirect.php?banner_id=100&url=/
_______________________________________________
open-axiom-devel mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
