Axiom Computer Algebra System - Bugs: bug #9057, product over product or sum fails
You are not allowed to post comments on this tracker with your current authentication level.
bug #9057: product over product or sum fails
Submitter: | Martin Rubey <kratt6> | ||
Submitted: | Sat 22 May 2004 02:12:38 PM UTC | ||
Category: | interpreter | Severity: | 3 - Normal |
Item Group: | code bug | Status: | Fixed |
Privacy: | Public | Assigned to: | None |
Originator Name: | Martin Rubey | Open/Closed: | Closed |
Release: | tla from may 2004 | Reproducibility: | None |
Fixed Release: | November 2008 | ||
Error message: | >> Error detected within library code:
|
||
Example of code trigerring the bug: | f==n+->product(sum(1/i,i=1..j),j=1..n)
|
||
Internal cause: | it might be that the problem is in iidprod in combfunc.spad: if I understand correctly, its last line
|
Fri 11 Jun 2004 10:42:39 AM UTC, comment #1: |
Martin Rubey <kratt6> |
Sat 22 May 2004 02:12:38 PM UTC, original submission:
it seems that products and sums cannot be nested. However, the following works: |
Martin Rubey <kratt6> |
No files currently attached
Depends on the following items: None found
Items that depend on this one: None found
There are 0 votes so far. Votes easily highlight which items people would like to see resolved in priority, independently of the priority of the item set by tracker managers.
Follow 9 latest changes.
Date | Changed by | Updated Field | Previous Value | => | Replaced by |
---|---|---|---|---|---|
2008-11-25 | axiom | Status | transferred | Fixed | |
Open/Closed | Open | Closed | |||
Fixed Release | November 2008 | ||||
2008-11-25 | axiom | Assigned to | billpage1 | None | |
2005-01-22 | billpage1 | Status | None | transferred | |
2004-12-28 | billpage1 | Assigned to | None | billpage1 | |
Error message | >> Error detected within library code: not a kernel | >> Error detected within library code: not a kernel | |||
Example of code trigerring the bug | f==n+->product(sum(1/i,i=1..j),j=1..n) f(1) f==n+->product(product(1/i,i=1..j),j=1..n) f(1) f==n+->sum(sum(1/i,i=1..j),j=1..n) f(1) | f==n+->product(sum(1/i,i=1..j),j=1..n) f(1) f==n+->product(product(1/i,i=1..j),j=1..n) f(1) f==n+->sum(sum(1/i,i=1..j),j=1..n) f(1) | |||
Internal cause | it might be that the problem is in iidprod in combfunc.spad: if I understand correctly, its last line */[eval(first l,k::K,i::F) for i in r1::Z .. r2::Z] evaluates product's first argument for each value of the product variable and then multiplies the resulting list together. However, for some reason the eval fails. I was unable to find out why eval fails. A hint might be that the operation "summation" is not called anymore. I don't even know which operation "eval" is called... Same thing for iidsum. | it might be that the problem is in iidprod in combfunc.spad: if I understand correctly, its last line */[eval(first l,k::K,i::F) for i in r1::Z .. r2::Z] evaluates product's first argument for each value of the product variable and then multiplies the resulting list together. However, for some reason the eval fails. I was unable to find out why eval fails. A hint might be that the operation "summation" is not called anymore. I don't even know which operation "eval" is called... Same thing for iidsum. |
Powered by Savane 3.13-4448.
Corresponding source code
patched by patch #3121
discussion in
http://lists.gnu.org/archive/html/axiom-developer/2004-06/msg00087.html
and
http://lists.gnu.org/archive/html/axiom-developer/2004-05/msg00138.html