Edit detail for series revision 1 of 3

changed:
-
Carl McTague asked axiom to evaluate


\begin{axiom}
limit(sum(n**(-2), n=1..k), k=%plusInfinity)
\end{axiom}

while he was hoping for '%pi^2/6', i.e. $\frac{\pi^2}{6}$.

Any ideas?

From wurmli Sat Sep 11 00:47:12 -0500 2004
From: wurmli
Date: Sat, 11 Sep 2004 00:47:12 -0500
Subject: Don't know either 
Message-ID: <20040911004712-0500@page.axiom-developer.org>


I have no ideas how to move axiom to spit out the answer, but considering it should 
be $\zeta(2)$ I have another question: 


does the zeta function exist in axiom? It looks like in 1997, it had not been 
implemented. 
See 
"A Critique of the Mathematical Abilities of CA Systems":http://www.math.unm.edu/~wester/cas_review.html 
onto which 
"AxiomDocumentationAndCommunity":AxiomDocumentationAndCommunity#WesterCritique
refers.

Carl McTague? asked axiom to evaluate

fricas

limit(sum(n**(-2), n=1..k), k=%plusInfinity)

   There are no library operations named ** 
      Use HyperDoc Browse or issue
                                 )what op **
      to learn if there is any operation containing " ** " in its name.

   Cannot find a definition or applicable library operation named ** 
      with argument type(s) 
                                 Variable(n)
                                   Integer

      Perhaps you should use "@" to indicate the required return type, 
      or "$" to specify which version of the function you need.

while he was hoping for %pi^2/6, i.e. .

Any ideas?

Don't know either --wurmli, Sat, 11 Sep 2004 00:47:12 -0500 reply

I have no ideas how to move axiom to spit out the answer, but considering it should be I have another question:

does the zeta function exist in axiom? It looks like in 1997, it had not been implemented. See A Critique of the Mathematical Abilities of CA Systems onto which AxiomDocumentationAndCommunity? refers.