help links subscribe changes refresh edit

	FriCAS Problems
numerical linear algebra ←	↑	→ simplify exponents

series

Edit detail for series revision 3 of 3

	1 2 3
Editor: test1 Time: 2019/08/11 17:59:02 GMT+0
Note:

changed:
-Carl McTague asked axiom to evaluate
Currently FriCAS can not evaluate

changed:
-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 is included in FriCAS
where correct result is'%pi^2/6', i.e. $\frac{\pi^2}{6}$.


The result is $\zeta(2)$, which in FriCAS can be written as:

changed:
-It looks like in 1997, it had not been 
-implemented. 
-See 
See also text from 1997:

changed:
-onto which 
-"AxiomDocumentationAndCommunity":AxiomDocumentationAndCommunity#WesterCritique
-refers.

Currently FriCAS can not evaluate

fricas

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

$\label{eq1}\verb#"failed"#$

(1)

Type: Union("failed",...)

where correct result is'%pi^2/6', i.e. $\frac{\pi^2}{6}$ .

The result is $\zeta(2)$ , which in FriCAS can be written as:

fricas

riemannZeta(2)

$\label{eq2}riemannZeta \left({2}\right)$

(2)

Type: Expression(Integer)

but ATM FriCAS can do very little with it.

See also text from 1997: A Critique of the Mathematical Abilities of CA Systems