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

Submitted by:  Martin Rubey <kratt6>
Submitted on:  Sat 22 May 2004 02:12:38 PM UTC  
 
Category: interpreterSeverity: 3 - Normal
Item Group: code bugStatus: Fixed
Privacy: PublicAssigned to: None
Originator Name: Martin RubeyOpen/Closed: Closed
Release: tla from may 2004Reproducibility: 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.

Fri 11 Jun 2004 10:42:39 AM UTC, comment #1:

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

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:

g:=operator 'g
f==n+->sum(g(j),j=1..n)
f(1)

Martin Rubey <kratt6>

 

No files currently attached

 

Depends on the following items: None found

Items that depend on this one: None found

 

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

    Do you think this task is very important?
    If so, you can click here to add your encouragement to it.
    This task has 0 encouragements so far.

    Only logged-in users can vote.

     

    Please enter the title of George Orwell's famous dystopian book (it's a date):

     

     

    Follow 9 latest changes.

    Date Changed By Updated Field Previous Value => Replaced By
    Tue 25 Nov 2008 06:03:18 AM UTCaxiomStatustransferred=>Fixed
      Open/ClosedOpen=>Closed
      Fixed Release=>November 2008
    Tue 25 Nov 2008 05:59:07 AM UTCaxiomAssigned tobillpage1=>None
    Sat 22 Jan 2005 05:50:13 AM UTCbillpage1StatusNone=>transferred
    Tue 28 Dec 2004 03:52:39 PM UTCbillpage1Assigned toNone=>billpage1
      Error message >> Error detected within library code: not a kernel=> >> Error detected within library code: not a kernel
      Example of code trigerring the bugf==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 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 "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.

    Back to the top


    Powered by Savane 3.1-cleanup1