Laboratoire de l'Informatique et du Parallélisme » Pobyso

#! /opt/sage/sage

# @file runSLZ-113proj.sage

#

#@par Changes from runSLZ-113.sage

# LLL reduction is not performed on the matrix itself but rather on the

# product of the matrix with a uniform random matrix.

# The reduced matrix obtained is discarded but the transformation matrix 

# obtained is used to multiply the original matrix in order to reduced it.

# If a sufficient level of reduction is obtained, we stop here. If not

# the product matrix obtained above is LLL reduced. But as it has been

# pre-reduced at the above step, reduction is supposed to be much faster.

#

# Both reductions combined should hopefully be faster than a straight single

# reduction.

#

# Run SLZ for p=113

#from scipy.constants.codata import precision

def initialize_env():

    """

    Load all necessary modules.

    """

    if version().split()[2].replace(',','') > '6.6':

        compiledSpyxDir = \

            "/home/storres/recherche/arithmetique/pobysoPythonSage/compiledSpyx"

        if compiledSpyxDir not in sys.path:

            sys.path.append(compiledSpyxDir)

    else:

        if not 'mpfi' in sage.misc.cython.standard_libs:

            sage.misc.cython.standard_libs.append('mpfi')

        load("/home/storres/recherche/arithmetique/pobysoPythonSage/src/sageMpfr.spyx")

        load("/home/storres/recherche/arithmetique/pobysoPythonSage/src/sageGMP.spyx")

    load("/home/storres/recherche/arithmetique/pobysoPythonSage/src/sollya_lib.sage")

#    load("/home/storres/recherche/arithmetique/pobysoPythonSage/src/sageMpfr.spyx")

#    load("/home/storres/recherche/arithmetique/pobysoPythonSage/src/sageGMP.spyx")

    load("/home/storres/recherche/arithmetique/pobysoPythonSage/src/pobyso.py")

    load("/home/storres/recherche/arithmetique/pobysoPythonSage/src/sageSLZ/sageSLZ.sage")

    load("/home/storres/recherche/arithmetique/pobysoPythonSage/src/sageSLZ/sageNumericalOperations.sage")

    load("/home/storres/recherche/arithmetique/pobysoPythonSage/src/sageSLZ/sageRationalOperations.sage")

    # Matrix operations are loaded by polynomial operations.

    load("/home/storres/recherche/arithmetique/pobysoPythonSage/src/sageSLZ/sagePolynomialOperations.sage")

    load("/home/storres/recherche/arithmetique/pobysoPythonSage/src/sageSLZ/sageRunSLZ.sage")

print "Running SLZ..."

initialize_env()

if version().split()[2].replace(',','') > '6.6':

    from sageMpfr import *

    from sageGMP  import *

import sys

from subprocess import call

#

## Main variables and parameters.

x         = var('x')

func(x)   = exp(x)

precision = 113

emin      = -16382

emax      = 16383 

RRR = RealField(precision)

degree              = 0

alpha               = 0

htrn                = 0

intervalCenter      = 0

intervalRadius      = 0

debugMode           = False          

## Local functions

#

def usage():

    write = sys.stderr.write

    write("\nUsage:\n")

    write("  " + scriptName + " <degree> <alpha> <htrn> <intervalCenter>\n")

    write("               <numberOfNumbers> [debug]\n")

    write("\nArguments:\n")

    write("  degree          the degree of the polynomial (integer)\n")

    write("  alpha           alpha (integer)\n")

    write("  htrn            hardness-to-round - a number of bits (integer)\n")

    write("  intervalCenter  the interval center (a floating-point number)\n")

    write("  numberOfNumbers the number of floating-point numbers in the interval\n")

    write("                  as a positive integral expression\n")

    write("  debug           debug mode (\"debug\", in any case)\n\n")

    sys.exit(2)

# End usage.

#

argsCount = len(sys.argv)

scriptName = os.path.basename(__file__)

if argsCount < 5:

    usage()

for index in xrange(1,argsCount):

    if index == 1:

        degree = int(sys.argv[index])

    elif index == 2:

        alpha = int(sys.argv[index])

    elif index == 3:

        htrn = int(eval(sys.argv[index]))

    elif index == 4:

        try:

            intervalCenter = QQ(sage_eval(sys.argv[index]))

        except:

            intervalCenter = RRR(sys.argv[index])

        intervalCenter = RRR(intervalCenter)

    elif index == 5:

        ## Can be read as rational number but must end up as an integer.

        numberOfNumbers = QQ(sage_eval(sys.argv[index]))

        if numberOfNumbers != numberOfNumbers.round():

            raise Exception("Invalid number of numbers: " + sys.argv[index] + ".")

        numberOfNumbers = numberOfNumbers.round()

        ## The number must be strictly positive.

        if numberOfNumbers <= 0:

            raise Exception("Invalid number of numbers: " + sys.argv[index] + ".")

    elif index == 6:

        debugMode = sys.argv[index].upper()

        debugMode = (debugMode == "DEBUG")

# Done with command line arguments collection.

#

## Debug printing

print "degree         :", degree

print "alpha          :", alpha

print "htrn           :", htrn

print "interval center:", intervalCenter.n(prec=10).str(truncate=False)

print "num of nums    :", RR(numberOfNumbers).log2().n(prec=10).str(truncate=False)

print "debug mode     :", debugMode

print

#

## Set the terminal window title.

terminalWindowTitle = ['stt', str(degree), str(alpha), str(htrn), 

                       intervalCenter.n(prec=10).str(truncate=False), 

                       RRR(numberOfNumbers).log2().n(prec=10).str(truncate=False)]

call(terminalWindowTitle)

#

intervalCenterBinade = slz_compute_binade(intervalCenter)

intervalRadius       = \

    2^intervalCenterBinade * 2^(-precision + 1) * numberOfNumbers / 2

srs_run_SLZ_v05_proj_weak(inputFunction=func, 

                     inputLowerBound         = intervalCenter - intervalRadius, 

                     inputUpperBound         = intervalCenter + intervalRadius, 

                     alpha                   = alpha, 

                     degree                  = degree, 

                     precision               = precision, 

                     emin                    = emin, 

                     emax                    = emax, 

                     targetHardnessToRound   = htrn, 

                     debug                   = debugMode)