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

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

changed:
-
It should be possible to teach Axiom to distribute limits through sums and products as in
\begin{axiom}
limit(product((1-q^(N-i))/(1-q^(m-i)),i=0..m-1),q=1)
\end{axiom}

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

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

axiom

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

$\label{eq1}\mbox{\tt "failed"}$

(1)

Type: Union("failed",...)

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