[Maxima] Cannot understand the rules in maxima (maxima hanging on few rule applications)
dp2 at cise.ufl.edu
Fri Sep 22 00:45:31 CDT 2006
But sum(_f(_i),_i,1,_k) will not match with 1 or the subsequent S(_f)..
then why does it run forever? The reason I am not using s1, is because I
have to apply rule to expressions like k*sum(f(i),i,1,n) where k=2,3,...,
or any polynomial independent of i.
Do you have any suggestion to implement it?
> Sure. Since e can match 1, the rule s2 can be applied forever.
> Not relevant to this bug, but why don't you just use defrule(s1, ...)?
>> -----Original Message-----
>> From: maxima-bounces at math.utexas.edu
>> [mailto:maxima-bounces at math.utexas.edu] On Behalf Of dp2 at cise.ufl.edu
>> Sent: Thursday, September 21, 2006 4:14 PM
>> To: maxima at math.utexas.edu
>> Subject: [Maxima] Cannot understand the rules in maxima
>> (maxima hanging on few rule applications)
>> (%i1) sumexpand:false,
>> apply(defrule,[s2,_e*sum(_f(_i),_i,1,_k),_e*S(_f)]) (%i4)
>> apply1(sum(f(i),i,1,n),s1); (%o4) S(f)
>> (%i5) apply1(sum(f(i),i,1,n),s2);
>> .... hang...
>> Could you please tell me the reason why rule s2 is hanging
>> while s1 is running ok?
>> Maxima mailing list
>> Maxima at math.utexas.edu
More information about the Maxima