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

(1) -> 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}}{\frac{- i + N}{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: (replying) Be Bold !!

	( 15 subscribers )