Révision 212 pobysoPythonSage/src/sageSLZ/runSLZ-03.sage

runSLZ-03.sage (revision 212)
26 26 
RRR = RealField(precision)
27 27 
intervalCenter      = RRR("1.9E9CBBFD6080B",16)  * 2^-31
28 28 
icUlp               = intervalCenter.ulp()
29 
intervalRadiusInUlp = 2^50
30 
#intervalRadiusInUlp = 2^49 + 2^45
31 
srs_run_SLZ_v02(inputFunction=func,
32 
                inputLowerBound = intervalCenter - icUlp * (intervalRadiusInUlp+128),
33 
                inputUpperBound = intervalCenter + icUlp * (intervalRadiusInUlp+128),
29 
intervalRadiusInUlp = 2^49 + 2^45
30 
srs_run_SLZ_v03(inputFunction=func,
31 
                inputLowerBound = RRR(1) * 2^-31,
32 
                inputUpperBound = RRR(1) * 2^-30 - icUlp,
34 33 
                alpha           = 2,
35 34 
                degree          = 2,
36 35 
                precision       = 53,

Formats disponibles : Unified diff