[Maxima-bugs] [ maxima-Bugs-1565895 ] Bug in Rules/Patterns (defrule/apply1) with Summations

[SourceForge.net <no...@so...>]

Bugs item #1565895, was opened at 2006-09-26 12:08
Message generated for change (Settings changed) made by robert_dodier
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1565895&group_id=4933

Please note that this message will contain a full copy of the comment thread,
including the initial issue submission, for this request,
not just the latest update.
>Category: Lisp Core - Simplification
Group: None
Status: Open
Resolution: None
Priority: 5
Private: No
Submitted By: Nobody/Anonymous (nobody)
Assigned to: Nobody/Anonymous (nobody)
Summary: Bug in Rules/Patterns (defrule/apply1) with Summations

Initial Comment:
> I am trying to apply rule s2 as follows:
>
> (%i1) matchdeclare([_x,_n,_f,_p,_g,_q],all);
> (%o1) done
>
(%i2)apply(defrule,[s2,sum(_f(_x)*_g(_x),_x,1,_n),S(_f*_g)]);
> (%o2) s2:sum(_f(_x)*_g(_x),_x,1,_n)->S(_f*_g)
> (%i3) apply1(sum(f(i1064)*g(i1064),i1064,1,N),s2);
> (%o3) sum(f(i1064)*g(i1064),i1064,1,N)
> But it does not do replacement.
>
> While following rule s4 runs:
>
> (%i4)
apply(defrule,[s4,sum(_f(_x)^_p*_g(_x)^_q,_x,1,_n),S(_f^_p*_g^_q)]);
> (%o4) s4:sum(_f(_x)^_p*_g(_x)^_q,_x,1,_n)->S(_f^_p*_g^_q)
> (%i6) apply1(sum(f(i1064)^2*g(i1064)^3,i1064,1,N),s4);
> (%o6) S(f^2*g^3)

----------------------------------------------------------------------

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1565895&group_id=4933