#2758 inconsistent auto-nounify of the first argument in declare

None
open
nobody
None
5
2014-06-17
2014-06-17
No

This works:

declare(nounify(product), multiplicative)$
product(c*k,k,1,n), simpproduct;

But this doesn't:

declare(product, multiplicative)$
product(c*k,k,1,n), simpproduct;

This is inconsistent, because this works:

declare(sum,linear);
sum(a[i]+b[i],i,1,N);

and get

(sum(b[i],i,1,N))+sum(a[i],i,1,N)

...I wish declare would nounify the first argument automatically, as it
does with sum, rather than have me nounify it myself.

Typing 'product or product (with no argument lists) is clearly referring to the
function itself as a noun; wrapping it in a nounify seems an added
complication.

Discussion


Log in to post a comment.