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 (jpower@bcpl.net) 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.

## ENIAC Algorithm

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 `sqrt.h`.

## 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:

If `x` is the square root of `N` then,
(1) (`N`/`x`) = `x`
so
(2) (`x` + (`N`/`x`)) / 2 = `x`.

It can be shown that if `y` is an approximation of the square root of `N` then,
(3) (`y` + (`N`/`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 Algorithm

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 initial value `N` and an approximate square root guess of `x`, the bisection algorithm is implemented using the following steps:

Step 1. Set the square root upper bound to `N`.
Step 2. Set the square root lower bound to 1. *
Step 3.If (`x`)2 is close enough to `N`, `x` is the square root. Exit.

Step 4.

1. If (`x`)2 < `N`, set the lower bound to `x`, and let `x` be half way between the upper bound and the old `x`.
2. If (`x`)2 > `N`, set the upper bound to `x`, and let `x` be half way between the lower bound and the old `x`.

Step 5.Go to Step 3.

*NOTE: For `N` between 0 and 1, set the lower bound to 0 and the upper bound to 1.

## Actual Software

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 Comment Version 0.1 Initial release.

### Portability

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: mdipper@alumni.engr.ucsb.edu

Home
Last updated on November 23, 2014