login  home  contents  what's new  discussion  bug reports     help  links  subscribe  changes  refresh  edit

Submitted by : (unknown) at: 2007-11-17T23:01:35-08:00 (10 years ago)
Name :
Axiom Version :
Category : Severity : Status :
Optional subject :  
Optional comment :



------------------------------------------------------------


(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 




  Subject:   Be Bold !!
  ( 13 subscribers )  
Please rate this page: