|
------------------------------------------------------------
(new) product over product or sum fails --Bill Page, Fri, 21 Jan 2005 23:51:08 -0600
This is an automated notification sent by Savannah.
It relates to:
bugs #9057, project Axiom Computer Algebra System
==============================================================================
LATEST MODIFICATIONS of bugs #9057:
==============================================================================
Posted by: Bill Page <billpage1>
Posted on: 2005-01-22 05:50 (Canada/Eastern)
_______________________________________________________
Status: None -> transferred
==============================================================================
OVERVIEW of bugs #9057:
==============================================================================
URL:
<http://savannah.nongnu.org/bugs/?func=detailitem&item_id=9057>
Summary: product over product or sum fails
Project: Axiom Computer Algebra System
Submitted by: kratt6
Submitted on: Sat 05/22/2004 at 14:12
Category: interpreter
Severity: 5 - Average
Item Group: code bug
Status: transferred
Privacy: Public
Assigned to: billpage1
Originator Name: Martin Rubey
Originator Email: rubey@geometrie.tuwien.ac.at
Open/Closed: Open
Release: tla from may 2004
Reproducibility: None
Fixed Release:
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.
_______________________________________________________
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)
_______________________________________________________
Follow-up Comments:
-------------------------------------------------------
Date: Fri 06/11/2004 at 10:42 By: Martin Rubey <kratt6>
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
==============================================================================
This item URL is:
<http://savannah.nongnu.org/bugs/?func=detailitem&item_id=9057>
_______________________________________________
Message sent via/by Savannah
http://savannah.nongnu.org/
patched in axiom-patch-25 --kratt6, Thu, 23 Jun 2005 07:44:24 -0500
Category: => Axiom Library
Status: => open
patched in axiom-patch-25 --kratt6, Thu, 23 Jun 2005 07:44:46 -0500
Status: open => closed
|