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

#print "First constant - SOLLYA_BASE_FUNC_ABS: ", SOLLYA_BASE_FUNC_ABS

#print "Last constant  - SOLLYA_BASE_FUNC_TRIPLEDOUBLE: ", SOLLYA_BASE_FUNC_TRIPLEDOUBLE

#print pobyso_get_prec()  

#print pobyso_get_prec()  

#a=100

#print type(a)

#id(a)

#print "Max arity: ", pobyso_max_arity

#print "Function tripleDouble (43) as a string: ", pobyso_function_type_as_string(43)

#print "Function None (44) as a string: ", pobyso_function_type_as_string(44)

#print sollya.sollya_lib_get_free_variable_name()

#retc = sollya_lib_autoprint(sollyaExp, None)

#print "Type of sollya_obj_t: ",type(arg), "Value: ", arg

#retc = sollya_lib_autoprint(res, None)

b = a.value

#print "Precision : ", a.value

#print "Address of a.value ", addressof(a)

#sollya_lib_close(None)

        pobyso_set_prec_so_so(initialSollyaPrecSo)

    sollya_lib_clear_obj(initialSollyaPrecSo)

                debug                   = True)

        if debug:

            print "Approximation polynomial computed."

        print "Starting reduction..."

        print "...reduction accomplished in", cputime(reductionTime), "s."

#! /opt/sage/sage

# @file runSLZ-113.sage

#

# Run SLZ for p=113

#from scipy.constants.codata import precision

def initialize_env():

    """

    Load all necessary modules.

    """

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

    if compiledSpyxDir not in sys.path:

        sys.path.append(compiledSpyxDir)

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

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

    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()

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("               <intervalRadius> [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("  intervalRadius  the interval radius (a rational or floating-point number)\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:

        try:

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

        except:

            intervalRadius = RRR(sys.argv[index])

        intervalRadius = RRR(intervalRadius)

    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 "interval radius:", intervalRadius.log2().n(prec=6).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), 

                       intervalRadius.log2().n(prec=6).str(truncate=False)]

call(terminalWindowTitle)

#

srs_run_SLZ_v05(inputFunction=func, 

                inputLowerBound         = intervalCenter - intervalRadius, 

                inputUpperBound         = intervalCenter + intervalRadius, 

                alpha                   = alpha, 

                degree                  = degree, 

                precision               = precision, 

                emin                    = emin, 

                emax                    = emax, 

                targetHardnessToRound   = htrn, 

                debug                   = debugMode)