MathAction #214 limit on products and sums

Topics

FrontPage
- IssueTracker
  - #214 limit on products and sums <-- You are here.

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

Subject: Be Bold !!

	( 15 subscribers )