zeta.tool
Class ZetaStatistic

java.lang.Object
  |
  +--zeta.tool.ZetaStatistic

public class ZetaStatistic

extends java.lang.Object

Nested Class Summary

private static class

ZetaStatistic.WorkUnit

Field Summary

private static CheckConsistencyZetaZeros	checkHeader
private static java.lang.String	lastTmpFilename
private static int	maxNumberToProceed
(package private) static double	PI
(package private) static double	PI_INV
private static long	previousFirstProblem
private static int	previousNumberProblems
private static long	previousWorkUnitId
(package private) static double	TWO_PI
(package private) static double	TWO_PI_INV

Constructor Summary

ZetaStatistic()

Method Summary

(package private) static void	calc(int maxNumberToProceed)
private static void	check(int gramBlockLength, java.lang.String filename)
private static boolean	checkLog(java.lang.String filename)
private static boolean	equalLines(java.lang.String line1, java.lang.String line2)
(package private) static long[]	expandFileAndCheck(java.lang.String source, java.lang.String destination, ZetaStatistic.WorkUnit workUnit)
(package private) static long[]	expandFileAndCheck(java.lang.String filename, ZetaStatistic.WorkUnit workUnit)
private static java.lang.String	fastCheck(long nStart, java.lang.String[] error)
(package private) static long	getStartN(double t)
(package private) static double	Gram(long n)
(package private) static double	Gram(long n, double a)
private static boolean	justDots(java.lang.String s, int i)
static void	main(java.lang.String[] args)
private static boolean	recomputation(long workUnitId, int range)
(package private) static boolean	reduceFilesize(java.lang.String filename)
private static boolean	reduceFilesize2(java.lang.String filename)
private static boolean	reduceFilesize2(java.lang.String filename1, java.lang.String filename2)
private static boolean	removeLastChar(java.lang.String source, java.lang.String destination)
private static java.lang.String	repairDot(java.lang.String s)
private static java.lang.String[]	statistic()
private static java.lang.String	statistic(java.lang.String tmpEntry, java.lang.String directory, boolean removeLine)
private static boolean	updateData(long[] sizeRange, java.lang.String sourceTxt, java.lang.String sourceLog, java.lang.String destination)
private static void	verify(java.lang.String smallFile, java.lang.String largeFile)
(package private) static int	zetaZeros(long start, int range, int sleepN)
(package private) static int	zetaZerosExpand(long workUnitId, int range, int sleep)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

PI

static final double PI

See Also:

Constant Field Values

PI_INV

static final double PI_INV

See Also:

Constant Field Values

TWO_PI

static final double TWO_PI

See Also:

Constant Field Values

TWO_PI_INV

static final double TWO_PI_INV

See Also:

Constant Field Values

previousNumberProblems

private static int previousNumberProblems

previousFirstProblem

private static long previousFirstProblem

previousWorkUnitId

private static long previousWorkUnitId

maxNumberToProceed

private static int maxNumberToProceed

lastTmpFilename

private static java.lang.String lastTmpFilename

checkHeader

private static CheckConsistencyZetaZeros checkHeader

Constructor Detail

ZetaStatistic

public ZetaStatistic()

Method Detail

main

public static void main(java.lang.String[] args)

calc

static void calc(int maxNumberToProceed)

statistic

private static java.lang.String[] statistic()
                                     throws java.lang.Exception

java.lang.Exception

checkLog

private static boolean checkLog(java.lang.String filename)

updateData

private static boolean updateData(long[] sizeRange,
                                  java.lang.String sourceTxt,
                                  java.lang.String sourceLog,
                                  java.lang.String destination)
                           throws java.io.IOException

java.io.IOException

equalLines

private static boolean equalLines(java.lang.String line1,
                                  java.lang.String line2)

fastCheck

private static java.lang.String fastCheck(long nStart,
                                          java.lang.String[] error)

check

private static void check(int gramBlockLength,
                          java.lang.String filename)

expandFileAndCheck

static long[] expandFileAndCheck(java.lang.String filename,
                                 ZetaStatistic.WorkUnit workUnit)
                          throws java.lang.Exception

java.lang.Exception

expandFileAndCheck

static long[] expandFileAndCheck(java.lang.String source,
                                 java.lang.String destination,
                                 ZetaStatistic.WorkUnit workUnit)
                          throws java.lang.Exception

java.lang.Exception

removeLastChar

private static boolean removeLastChar(java.lang.String source,
                                      java.lang.String destination)

recomputation

private static boolean recomputation(long workUnitId,
                                     int range)
                              throws java.io.IOException

java.io.IOException

repairDot

private static java.lang.String repairDot(java.lang.String s)

Returns:

-1 if contains a duplicate zero, else number of lines

justDots

private static boolean justDots(java.lang.String s,
                                int i)

Gram

static double Gram(long n)

Gram

static double Gram(long n,
                   double a)

getStartN

static long getStartN(double t)

zetaZerosExpand

static int zetaZerosExpand(long workUnitId,
                           int range,
                           int sleep)

reduceFilesize2

private static boolean reduceFilesize2(java.lang.String filename)

reduceFilesize2

private static boolean reduceFilesize2(java.lang.String filename1,
                                       java.lang.String filename2)

reduceFilesize

static boolean reduceFilesize(java.lang.String filename)

statistic

private static java.lang.String statistic(java.lang.String tmpEntry,
                                          java.lang.String directory,
                                          boolean removeLine)

verify

private static void verify(java.lang.String smallFile,
                           java.lang.String largeFile)

zetaZeros

static int zetaZeros(long start,
                     int range,
                     int sleepN)