diff options
Diffstat (limited to 'contrib/awk/awklib/eg/lib/cliff_rand.awk')
-rw-r--r-- | contrib/awk/awklib/eg/lib/cliff_rand.awk | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/contrib/awk/awklib/eg/lib/cliff_rand.awk b/contrib/awk/awklib/eg/lib/cliff_rand.awk deleted file mode 100644 index 345447e..0000000 --- a/contrib/awk/awklib/eg/lib/cliff_rand.awk +++ /dev/null @@ -1,14 +0,0 @@ -# cliff_rand.awk --- generate Cliff random numbers -# -# Arnold Robbins, arnold@gnu.org, Public Domain -# December 2000 - -BEGIN { _cliff_seed = 0.1 } - -function cliff_rand() -{ - _cliff_seed = (100 * log(_cliff_seed)) % 1 - if (_cliff_seed < 0) - _cliff_seed = - _cliff_seed - return _cliff_seed -} |