outativity and non-commutative mult

rtoy / maxima

A Clone of Maxima's repo

Other

0 stars 0 forks source link

outativity and non-commutative mult #4122

Closed rtoy closed 2 months ago

rtoy commented 2 months ago

Imported from SourceForge on 2024-07-09 16:41:30 Created by *anonymous on 2006-06-11 21:41:56 Original: https://sourceforge.net/p/maxima/bugs/945

(%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

rtoy commented 2 months ago

Imported from SourceForge on 2024-07-09 16:41:31 Created by willisbl on 2006-06-13 11:16:26 Original: https://sourceforge.net/p/maxima/bugs/945/#5da6

status: open --> closed

rtoy commented 2 months ago

Imported from SourceForge on 2024-07-09 16:41:34 Created by willisbl on 2006-06-13 11:16:26 Original: https://sourceforge.net/p/maxima/bugs/945/#0759

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