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

 Submitted by : (unknown) at: 2007-11-17T22:09:23-08:00 (10 years ago) Name : Axiom Version : default friCAS-20090114 Axiom-20050901 OpenAxiom-20091012 OpenAxiom-20110220 OpenAxiom-Release-141 Category : Axiom Aldor Interface Axiom Compiler Axiom Library Axiom Interpreter Axiom Documentation Axiom User Interface building Axiom from source lisp system MathAction Doyen CD Reduce Axiom on Windows Axiom on Linux Severity : critical serious normal minor wishlist Status : open closed rejected not reproducible fix proposed fixed somewhere duplicate need more info Optional subject :   Optional comment :

axiom
D(product((1-q^(n-i))/(1-q^(m-i)),i=0..m-1),q)
 (1)
Type: Expression(Integer)
axiom
f:=operator 'f;
Type: BasicOperator?
axiom
D(product(f(i,q),i=0..m),q)
 (2)
Type: Expression(Integer)

I'll try to correct this tomorrow...

Martin

Fortunately, a fix is quite easy, since we know how to differentiate products according to Leibniz rule: Here is a patch to combfunc.spad.pamphlet that also fixes some leftover problems with differentiating sums without bounds and displaying sums and products with and without bounds:

property change --kratt6, Tue, 04 Oct 2005 07:38:49 -0500 reply
Status: open => fix proposed

test April release --Bill Page, Wed, 21 Jun 2006 06:23:50 -0500 reply
axiom
)version
Value = "FriCAS 2010-12-08 compiled at Tuesday April 5, 2011 at 13:07:45 "
D(product((1-q^(n-i))/(1-q^(m-i)),i=0..m-1),q)
 (3)
Type: Expression(Integer)
axiom
f:=operator 'f;
Type: BasicOperator?
axiom
D(product(f(i,q),i=0..m),q)
 (4)
Type: Expression(Integer)

fixed in Patch 46 or so --kratt6, Fri, 27 Oct 2006 03:12:40 -0500 reply
Status: fix proposed => closed

 Subject:   Be Bold !! ( 14 subscribers )