help links subscribe changes refresh edit

	IssueTracker
#213 No equality of operators which use dummy variables ←	↑	→ #215 sin asin(7.0::COMPLEX FLOAT)

#214 limit on products and sums

Edit detail for #214 limit on products and sums revision 3 of 3

	1 2 3
Editor: test1 Time: 2017/02/23 18:23:22 GMT+0
Note:

added:

From test1 Thu Feb 23 18:23:22 +0000 2017
From: test1
Date: Thu, 23 Feb 2017 18:23:22 +0000
Subject: 
Message-ID: <20170223182322+0000@axiom-wiki.newsynthesis.org>

Status: open => fixed somewhere

It should be possible to teach Axiom to distribute limits through sums and products as in

fricas

limit(product((1-q^(N-i))/(1-q^(m-i)),i=0..m-1),q=1)

$\label{eq1}\prod_{ \displaystyle {i = 0}}^{ \displaystyle {m - 1}}{{- i + N}\over{m - i}}$

(1)

Type: Union(OrderedCompletion?(Expression(Integer)),...)

However, it is not clear to me where this should be done. Limits of this kind are currently handled in limitps.spad, where Axiom tries to do a Puiseux expansion of the expression.

Martin

... --test1, Thu, 23 Feb 2017 18:23:22 +0000 reply

Status: open => fixed somewhere