[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
## [Axiom-developer] [Axiom-mail] beginner question about sum(...)

**From**: |
Kostas Oikonomou |

**Subject**: |
[Axiom-developer] [Axiom-mail] beginner question about sum(...) |

**Date**: |
Sun, 23 Jan 2005 10:23:01 -0600 |

I am trying to make Axiom evaluate sum(1/k^2, k=1..n). It returns the sum
unevaluated. I suspect that I should be using the sum functions defined
in package SUMRF, RationalFunctionSum, but how do I make Axiom use those
functions? For example, I tried
(1) -> sum(1/k^2, k=1..n)$SUMRF
Although RationalFunctionSum is the name of a constructor, a full
type must be specified in the context you have used it. Issue
)show RationalFunctionSum for more information.
(1) ->
I don't understand what I have to do here. My understanding of Axiom's types,
domains, and packages is limited, but shouldn't sum(...) be smart enough by
itself
to invoke the right "sum"?
Kostas
_______________________________________________
Axiom-mail mailing list
address@hidden
http://lists.nongnu.org/mailman/listinfo/axiom-mail
--
forwarded from http://page.axiom-developer.org/zope/mathaction/address@hidden

**[Axiom-developer] [Axiom-mail] beginner question about sum(...)**,
*Kostas Oikonomou* **<=**