axiom-developer
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Axiom-developer] [#212 substituting for an operator in a sum does not a


From: billpage
Subject: [Axiom-developer] [#212 substituting for an operator in a sum does not apply the summation algorithms]
Date: Mon, 03 Oct 2005 01:21:10 -0500

Changes 
http://wiki.axiom-developer.org/212SubstitutingForAnOperatorInASumDoesNotApplyTheSummationAlgorithms/diff
--

??changed:
-
-
-From BillPage Mon Oct 3 01:08:57 -0500 2005
-From: Bill Page
-Date: Mon, 03 Oct 2005 01:08:57 -0500
-Subject: (new) substituting for an operator in a sum does not apply the
-       summation algorithms
-Message-ID: <address@hidden>
-
-
-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
Original Savannah bug 9217

Summary:

Although axiom can evaluate this sum, it does not.

Example of code trigerring the bug:

\begin{axiom}
f := operator 'f
sum(f(i),i=a..b)
eval(%,f,x+->x)
\end{axiom}

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

??changed:
-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>
-
-_______________________________________________
-[2 more lines...]
the time to check)


--
forwarded from http://wiki.axiom-developer.org/address@hidden




reply via email to

[Prev in Thread] Current Thread [Next in Thread]