bugAxiom 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:
   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)

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.

(Note: upload size limit is set to 16384 kB, after insertion of the required escape characters.)

No files currently attached

 

Depends on the following items: None found

Items that depend on this one: None found

 

Carbon-Copy List
  • -email is unavailable- added by axiom (Updated the item)
  •  

    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 Statustransferred Fixed
        Open/ClosedOpen Closed
        Fixed Release November 2008
    2008-11-25 axiom Assigned tobillpage1 None
    2005-01-22 billpage1 StatusNone transferred
    2004-12-28 billpage1 Assigned toNone billpage1
        Error message &gt;&gt; Error detected within library code: not a kernel >> Error detected within library code: not a kernel
        Example of code trigerring the bugf==n+-&gt;product(sum(1/i,i=1..j),j=1..n) f(1) f==n+-&gt;product(product(1/i,i=1..j),j=1..n) f(1) f==n+-&gt;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 causeit 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 &quot;summation&quot; is not called anymore. I don't even know which operation &quot;eval&quot; 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.

    Back to the top

    Powered by Savane 3.13-4b48.
    Corresponding source code