From: SourceForge.net <no...@so...> - 2006-09-26 18:08:02
|
Bugs item #1565895, was opened at 2006-09-26 11:08 Message generated for change (Tracker Item Submitted) made by Item Submitter 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: None Group: None Status: Open Resolution: None Priority: 5 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 |
From: SourceForge.net <no...@so...> - 2006-12-26 21:40:08
|
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 |