Changes
http://page.axiom-developer.org/zope/mathaction/212SubstitutingForAnOperatorInASumDoesNotApplyTheSummationAlgorithms/diff
--
Update of bug #9217 (project axiom):
Status: None => transferred
Internal cause: first the sum is evaluated. Since the argument --
f(x)-- is not a polynomial or rational function, using first iidsum, than
idsum of COMBF. Afterwards the substitution is performed. Now the sum has the
internal format
%defsum [%A, %A, i, a, b], which is again evaluated with iidsum and idsum of
COMBF. The function sum$InnerPolySum is never called, of course. A general
solution is to call sum from within idsum, but in this case, care has to be
taken that summation algorithms that can fail (such as Gosper's) do not
produce an infinite loop. (In fact I think this is OK, I only did not have
the time to check) => first the sum is evaluated. Since the argument --
f(x)-- is not a polynomial or rational function, using first iidsum, than
idsum of COMBF. Afterwards the substitution is performed. Now the sum has the
internal format
%defsum [%A, %A, i, a, b], which is again evaluated with iidsum and idsum of
COMBF. The function sum$InnerPolySum is never called, of course. A general
solution is to call sum from within idsum, but in this case, care has to be
taken that summation algorithms that can fail (such as Gosper's) do not
produce an infinite loop. (In fact I think this is OK, I only did not have
the time to check)
_______________________________________________________
Reply to this item at:
<http://savannah.nongnu.org/bugs/?func=detailitem&item_id=9217>
_______________________________________________
Message sent via/by Savannah
http://savannah.nongnu.org/
--
forwarded from http://page.axiom-developer.org/zope/mathaction/[EMAIL PROTECTED]
_______________________________________________
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-developer
