login  home  contents  what's new  discussion  bug reports     help  links  subscribe  changes  refresh  edit

Submitted by : (unknown) at: 2007-11-17T22:09:52-08:00 (9 years ago)
Name :
Axiom Version :
Category : Severity : Status :
Optional subject :  
Optional comment :

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

Status: open => fixed somewhere




  Subject:   Be Bold !!
  ( 13 subscribers )  
Please rate this page: