1234567891011121314 |
- # cliff_rand.awk --- generate Cliff random numbers
- #
- # Arnold Robbins, arnold@skeeve.com, 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
- }
|