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