egison / egison-tutorial

The Egison tutorial

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Approximate value of π²/6

nekketsuuu opened this issue · comments

In this line of the tutorial, we calculate an approximate value of (/ (power pi 2) 6).

But we can't show the real value of (/ (power pi 2) 6) in Egison because pi is defined as a symbol π and because it seems that Egison doesn't have f.power currently.

Proposal: Therefore, how about adding a description how to calculate the real value? For example, we can calculate the value by (f./ (f.* f.pi f.pi) 6.0).

Thank you for adding the issue!
Yes, (/ (power pi 2) 6) was executable only by the past version of Egison.
I updated this expression to (f./ (f.* f.pi f.pi) 6.0) as your proposal.