|
|
|
last edited 16 years ago |
Edit detail for #72 product over product or sum fails revision 1 of 1
| 1 | ||
|
Editor:
Time: 2007/11/17 23:01:35 GMT-8 |
||
| Note: patched in axiom-patch-25 | ||
changed: - From BillPage Fri Jan 21 23:51:08 -0600 2005 From: Bill Page Date: Fri, 21 Jan 2005 23:51:08 -0600 Subject: (new) product over product or sum fails Message-ID: <20050122-055015.sv12157.52274@savannah.nongnu.org> 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/ From kratt6 Thu Jun 23 07:44:24 -0500 2005 From: kratt6 Date: Thu, 23 Jun 2005 07:44:24 -0500 Subject: patched in axiom-patch-25 Message-ID: <20050623074424-0500@page.axiom-developer.org> Category: => Axiom Library Status: => open From kratt6 Thu Jun 23 07:44:46 -0500 2005 From: kratt6 Date: Thu, 23 Jun 2005 07:44:46 -0500 Subject: patched in axiom-patch-25 Message-ID: <20050623074446-0500@page.axiom-developer.org> Status: open => closed
------------------------------------------------------------
(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