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 2 of 3

	1 2 3
Editor: Time: 2007/11/17 22:09:52 GMT-8
Note:

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