1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
|
The tool has been restarted.
=============== Test number 81 ================
Warning: a coefficient is not at least 2 times greater than a already evaluated sub-polynomial.
This procedure is not able to implement the polynomial correctly in this case.
Warning: the inferred precision of the 13th coefficient of the polynomial is greater than
the necessary precision computed for this step. This may make the automatic determination
of precisions useless.
Warning: a problem has been encountered during the determination of the precisions needed.
The produced implementation may be incorrect.
Polynomial implemented as given.
The tool has been restarted.
=============== Test number 82 ================
[20.085536923187667740928529654581717896987907838554;20.0855369231876677409285296545817178969879078385544]
The tool has been restarted.
=============== Test number 83 ================
[20.085536923187667740928529654581717896987907838554;20.0855369231876677409285296545817178969879078385544]
The tool has been restarted.
=============== Test number 84 ================
[20.085536923187667740928529654581717896987907838554;20.0855369231876677409285296545817178969879078385544]
The tool has been restarted.
=============== Test number 85 ================
[2.7182818284590452353602874713526624977572470936999;2.7182818284590452353602874713526624977572470937]
The tool has been restarted.
=============== Test number 86 ================
Warning: the bounds of the range an infinity norm is to be computed on are not numbers.
[0;infty]
The tool has been restarted.
=============== Test number 87 ================
1
0
The tool has been restarted.
=============== Test number 88 ================
1.11110000011111_2 * 2^(-1)
1.11110000011111_2 * 2^(-1)
The tool has been restarted.
=============== Test number 89 ================
-0.54402111088936981340474766185137728168364301291622
[-0.54710197983579690224097637163525943075698599257333;-0.54094015130013183848150540881373370744053741191729]
[-0.54432915685955427101857780295936956775293876382777;-0.54371306401249969508039644221927489010425803173555]
The tool has been restarted.
=============== Test number 90 ================
false
false
false
true
true
false
The tool has been restarted.
=============== Test number 91 ================
false
true
false
The tool has been restarted.
=============== Test number 92 ================
true
Information: the free variable has been renamed from "x" to "y".
false
The tool has been restarted.
=============== Test number 93 ================
Information: the free variable has been renamed from "y" to "x".
sin(x)
x
true
Information: the free variable has been renamed from "x" to "y".
true
1
The tool has been restarted.
=============== Test number 94 ================
true
-0.86602540378443864676372317075293618347140262690519
The tool has been restarted.
=============== Test number 95 ================
true
[-3.100365765139897619749121887390789523854170596558e-13490;5.3002401585857127605350842426029223241500776302528e-13489]
The tool has been restarted.
=============== Test number 96 ================
true
[-1;1]
The tool has been restarted.
=============== Test number 97 ================
12
The tool has been restarted.
=============== Test number 98 ================
5
The tool has been restarted.
=============== Test number 99 ================
0
The tool has been restarted.
=============== Test number 100 ================
infty
|
