#945 outativity and non-commutative mult

[Anonymous]

(%i1) declare(f,outative, a, constant);
(%o1) done
(%i2) f(a.x);
(%o2) a*f(x) <-- huh?

I don't think outative should consider a.x as a product;
thus $o2 should be f(a.x). Correct?

Barton

[Barton Willis]

Logged In: YES
user_id=895922

When 'dotconstrules' is true (the default) and
'a' is a declared constant, we have a . x --> a * x.
I thought 'a' had to be a declared scalar for
this to happen. Not true.

Barton