Data files are compiled into an array of string or numeric constants which can then be accessed from a method. Data file names end with a ".data" suffix and are included in a class when you add a line in the class body of the form:
data Data_File_Name Type
The Type field determines the type of the array; either a numeric type or a string. Numeric Data Files contain a series of numbers, one for each array element. You can write multiple numbers on a line to make it easier to read. For string files, the text on each line is saved in an array element.
Comments and blank lines in the data file are ignored and will not be included in the array. Comment lines begin with a colon in the first column. Numeric data files can include a comment after the data fields.
End of line delimiters in the source file may be Line Feed, Return, Return/Line Feed, or Line Feed/Return. In string files you can encode blank lines and text with special characters by quoting the line using double quotes. Any spaces at the end of a line are also ignored.
To assure accuracy, add a CRC checksum in a comment at the end of the data file. The checksum covers only data and does not include lines, or spaces. This way you can reformat the file and add comment without changing the checksum. A checksum line looks like this:
: Check #268c7289
When you initially compile a data file with no checksum, the checksum is written as a note in the log file. You can then copy that value into the data file. Should the checksum not match it is treated as a compilation error.
The numeric data files, is.prime.32.base.data and is.prime.64.base.data are used by the is.prime.gg function.