Factory.Math.Implementations.Pi.Spigot.RabinowitzWagon

AUTHOR

Dr. Alistair Ward

DESCRIPTION

Defines the Rabinowitz-Wagon series; http://web.comlab.ox.ac.uk/oucl/work/jeremy.gibbons/publications/spigot.pdf http://www.mathpropress.com/stan/bibliography/spigot.pdf.

Constants

series :: Integral i => Series i

Defines a series which converges to Pi.