[Haskell-cafe] ANN: exact-pi 0.1

[Jerzy Karczmarczuk]

About exact manipulation of PI and its powers...

Le 10/04/2015 02:04, Douglas McClean a écrit :
> You could definitely use the same approach for any one irrational 
> number you were interested in. With a tuple of integers you could 
> track a handful of irrationals.

There are many differences between "just" *irrational* and 
*transcendental* numbers. The work with algebraic / transcendental 
extensions is a bit different. No polynomial of PI with rational 
coefficients will vanish. If you replace PI by sqrt(2), well, you know 
the answer.

Jerzy Karczmarczuk