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

Carl McTague? asked axiom to evaluate

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

\label{eq1}\verb#"failed"#(1)
Type: Union("failed",...)

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

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 \zeta(2) I have another question:

does the zeta function exist in axiom?

It is included in FriCAS

fricas
riemannZeta(2)

\label{eq2}riemannZeta \left({2}\right)(2)
Type: Expression(Integer)

but ATM FriCAS can do very little with it.

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




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