Square Root Approximation Library Discussion and Implementation
by Michael Dipperstein
This is the results of yet another adventure that started with me reading something and wanting to know more about it. July 30, 2003 John N. Power (email@example.com) posted a message to the PICList which mentioned the ENIAC (Electronic Numerical Integrator and Computer) and it's square root algorithm.
John published a paper on the algorithm, which may be found at http://www.bcpl.net/~jpower/ezsqrt.pdf.
Additional searches revealed Brian Shelburne's well written How the ENIAC took a Square Root.
Both papers make it clear how the algorithm works, the latter even provides some improvements. Something just made me want to code it up and play with it.
I knew the ENIAC algorithm was not the most efficient algorithm, and wanted to compare it to two other methods that I knew about: bisection and successive approximation. So I ended up writing a library providing simple code for comparison testing of the algorithms.
Click here for a link to my square root library source. The rest of this page discusses the techniques for finding a square root and my implementation.
My general laziness and the fact that Brian Shelburne's paper did such a good job of explaining the ENIAC algorithm are preventing me from describing the algorithm. My source implements his algorithm with only one deviation. Brian Shelburne noted that the sum of odd multiples of 100 is also a square. This generalizes to the sum of odd multiples of a square being a square.
Most modern computers perform binary math, which is not well suited to
multiplying and dividing by 100. In an attempt to ease computation, I
experimented by trying odd multiples of 64 and 256, allowing multiplications
and divisions to be converted to shifts. As it turns out, there are only
three multiplications and divisions. The time saved by changing the square
used is less significant than the time saved by allowing quicker convergence
to an answer. The smaller the square multiple used, the faster the
algorithm converges (64 converges faster than 100). However, the smaller
the multiple, the less accurate the result. If you play with the source,
you might want to tweak the multiple (radix) defined in
Successive Approximation Algorithm
Successive approximation is an iterative algorithm for approximating the square root of a number. The algorithm is based on the following observations:
x is the square root of
x + (
x)) / 2
It can be shown that if
y is an approximation of the square
y + (
y)) / 2
is a better approximation.
Using equation (3) repeatedly allows an approximation
for the square root of
N to be continuously refined. The
refinement of the approximation may be stopped once the difference between
successive approximations is less than some threshold.
Bisection is another iterative process used to approximate the square
root of number. The algorithm works by repeatedly reducing the range of
values which the square root of a value is known to exist in. Given an
N and an approximate square root guess of
x, the bisection algorithm is implemented using the following
Step 1. Set the square root
upper bound to
Step 2. Set the square root lower bound to 1. *
Step 3.If (
close enough to
x is the square root.
- If (
N, set the lower bound to
x, and let
xbe half way between the upper bound and the old
- If (
N, set the upper bound to
x, and let
xbe half way between the lower bound and the old
Step 5.Go to Step 3.
N between 0 and 1, set the
lower bound to 0 and the upper bound to 1.
I am releasing my implementations of the ENIAC square root algorithm and all the other approximation methods under the LGPL. As I add enhancements or fix bugs, I will post them here as newer versions. The larger the version number, the newer the version. I will retain the older versions for historical reasons. I recommend that most people download the newest version unless there is a compelling reason to do otherwise.
Each version is contained in its own zipped archive which includes the source files and brief instructions for building an executable. None of the archives contain executable programs. A copy of the archives may be obtained by clicking on the links below.
|Version 0.1||Initial release.|
All the source code that I have provided is written in strict ANSI C. I would expect it to build correctly on any machine with an ANSI C compiler. I have tested the code compiled with gcc on Linux and mingw on Windows 98.
If you have any further questions or comments, you may contact me by e-mail. My e-mail address is: firstname.lastname@example.org