Révision 219 pobysoPythonSage/src/sageSLZ/runSLZ-04.sage

runSLZ-04.sage (revision 219)
22 22
initialize_env()
23 23
x = var('x')
24 24
func(x) = exp(x)
25
precision = 53
25
precision = 113
26 26
RRR = RealField(precision)
27
intervalCenter      = RRR("1.9E9CBBFD6080B",16)  * 2^-31
27
intervalCenter      = RRR(3/8)
28 28
icUlp               = intervalCenter.ulp()
29
intervalRadiusInUlp = 2^49 + 2^45          
29
intervalRadiusInUlp = 2^49 + 2^45
30
intervalRadius      = RRR(2^(-35))          
30 31
srs_run_SLZ_v04(inputFunction=func, 
31
                inputLowerBound = RRR(1) * 2^-31, 
32
                inputUpperBound = RRR(1) * 2^-30 - icUlp, 
33
                alpha           = 2, 
34
                degree          = 2, 
35
                precision       = 53, 
36
                emin            = -1022, 
37
                emax            = 1023, 
38
                targetHardnessToRound =  precision+50, 
39
                debug           = True)
32
                inputLowerBound         = intervalCenter - intervalRadius, 
33
                inputUpperBound         = intervalCenter + intervalRadius, 
34
                alpha                   = 6, 
35
                degree                  = 18, 
36
                precision               = precision, 
37
                emin                    = -16382, 
38
                emax                    = 16383, 
39
                targetHardnessToRound   = precision * 6, 
40
                debug                   = True)
40 41
#
41 42
"""
42 43
srs_run_SLZ_v01(inputFunction=func, 

Formats disponibles : Unified diff