Re: [open-axiom-devel] [fricas-devel] Re: semantics of "has"

[Bill P. <bil...@ne...>]

On Fri, Jul 25, 2008 at 4:06 PM, Ralf Hemmecke wrote:
>
> 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 necessary 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).
>

I agree that it is an Aldor bug. This is major problem in Aldor, I think.

> Maybe SPAD behaves better here, I haven't tested it.
>

Yes, it seems to work as expected.

http://axiom-wiki.newsynthesis.org/SandBoxCommutativeCategory

>
>> 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.
>

I am also in favor of this change.

Regards,
Bill Page.