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 (10 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


{i = 0}}^{
{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.


Status: open => fixed somewhere

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