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