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
open-axiom-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/open-axiom-devel

Reply via email to