| piseek/ | this directory |
| 00readme.htm | this file |
| piseekw.exe | A program to search for pattern in the decimal digits of pi. (Win application)
See description below. |
| piseek.elf, piseek.exe | Same program as Linux executable (for x86 systems) and as Win Console application |
| *.c, *.h | C sources |
| pifile.cfg | configuration file; determines the directory of the files pi01.dat, pi02.dat, ..., pi40.dat with the digits of pi 1.st line must read: pidir=<path of the files pi01.dat, pi02.dat with the digits of pi> |
| makefile | the makefile |
It serves the 400 million decimal digits of the CD
It uses pi files of 10 million digits each with 1 digit per byte
(no other chars).
The pi files are named <pidir>/piNN.dat (NN = 01..40).
The default <pidir> is .. i.e. the directory above the
current directory.
<pidir> may be specified by a file pifile.cfg with the
first line PIDIR=<pidir>
or by the command line option -d
First pi file pi01.dat must begin with 14159265
Usage: piseek <command> [-d<pidir>]
Example: piseek sb 987??2*10
<commands>
sb [<pat>]: search <pat> (or previous pattern) from
begin of file
sc [<pat>]: search <pat> (or previous pattern) from
current file position
rp <pos> : read 16 digits from position <pos>
h : help
q : quit
<pat> : sequence of digits, * and ?, must have a digit
at both ends.
a digit is meant literally,
a ? means a single unspecified digit,
a * means 0 to 10 unspecified digits.
<pos> : decimal number <= 400 000 000
<pidir>: directory of the pi files (pi01.dat, pi02.dat
etc.).