intervals 0.3.56

Sign up to get free protection for your applications and to get access to all the features.
Files changed (131) hide show
  1. data/VERSION.txt +1 -0
  2. data/ext/crlibm/AUTHORS +2 -0
  3. data/ext/crlibm/COPYING +504 -0
  4. data/ext/crlibm/ChangeLog +80 -0
  5. data/ext/crlibm/INSTALL +182 -0
  6. data/ext/crlibm/Makefile.am +84 -0
  7. data/ext/crlibm/Makefile.in +530 -0
  8. data/ext/crlibm/NEWS +0 -0
  9. data/ext/crlibm/README +31 -0
  10. data/ext/crlibm/TODO +47 -0
  11. data/ext/crlibm/VERSION +1 -0
  12. data/ext/crlibm/aclocal.m4 +989 -0
  13. data/ext/crlibm/atan-itanium.c +846 -0
  14. data/ext/crlibm/atan-pentium.c +261 -0
  15. data/ext/crlibm/atan_accurate.c +244 -0
  16. data/ext/crlibm/atan_accurate.h +191 -0
  17. data/ext/crlibm/atan_fast.c +324 -0
  18. data/ext/crlibm/atan_fast.h +678 -0
  19. data/ext/crlibm/config.guess +1461 -0
  20. data/ext/crlibm/config.sub +1566 -0
  21. data/ext/crlibm/configure +7517 -0
  22. data/ext/crlibm/configure.ac +364 -0
  23. data/ext/crlibm/crlibm.h +125 -0
  24. data/ext/crlibm/crlibm_config.h +149 -0
  25. data/ext/crlibm/crlibm_config.h.in +148 -0
  26. data/ext/crlibm/crlibm_private.c +293 -0
  27. data/ext/crlibm/crlibm_private.h +658 -0
  28. data/ext/crlibm/csh_fast.c +631 -0
  29. data/ext/crlibm/csh_fast.h +771 -0
  30. data/ext/crlibm/double-extended.h +496 -0
  31. data/ext/crlibm/exp-td.c +962 -0
  32. data/ext/crlibm/exp-td.h +685 -0
  33. data/ext/crlibm/exp_accurate.c +197 -0
  34. data/ext/crlibm/exp_accurate.h +85 -0
  35. data/ext/crlibm/gappa/log-de-E0-logir0.gappa +106 -0
  36. data/ext/crlibm/gappa/log-de-E0.gappa +79 -0
  37. data/ext/crlibm/gappa/log-de.gappa +81 -0
  38. data/ext/crlibm/gappa/log-td-E0-logir0.gappa +126 -0
  39. data/ext/crlibm/gappa/log-td-E0.gappa +143 -0
  40. data/ext/crlibm/gappa/log-td-accurate-E0-logir0.gappa +230 -0
  41. data/ext/crlibm/gappa/log-td-accurate-E0.gappa +213 -0
  42. data/ext/crlibm/gappa/log-td-accurate.gappa +217 -0
  43. data/ext/crlibm/gappa/log-td.gappa +156 -0
  44. data/ext/crlibm/gappa/trigoSinCosCase3.gappa +204 -0
  45. data/ext/crlibm/gappa/trigoTanCase2.gappa +73 -0
  46. data/ext/crlibm/install-sh +269 -0
  47. data/ext/crlibm/log-de.c +431 -0
  48. data/ext/crlibm/log-de.h +732 -0
  49. data/ext/crlibm/log-td.c +852 -0
  50. data/ext/crlibm/log-td.h +819 -0
  51. data/ext/crlibm/log10-td.c +906 -0
  52. data/ext/crlibm/log10-td.h +823 -0
  53. data/ext/crlibm/log2-td.c +935 -0
  54. data/ext/crlibm/log2-td.h +821 -0
  55. data/ext/crlibm/maple/atan.mpl +359 -0
  56. data/ext/crlibm/maple/common-procedures.mpl +997 -0
  57. data/ext/crlibm/maple/csh.mpl +446 -0
  58. data/ext/crlibm/maple/double-extended.mpl +151 -0
  59. data/ext/crlibm/maple/exp-td.mpl +195 -0
  60. data/ext/crlibm/maple/log-de.mpl +243 -0
  61. data/ext/crlibm/maple/log-td.mpl +316 -0
  62. data/ext/crlibm/maple/log10-td.mpl +345 -0
  63. data/ext/crlibm/maple/log2-td.mpl +334 -0
  64. data/ext/crlibm/maple/trigo.mpl +728 -0
  65. data/ext/crlibm/maple/triple-double.mpl +58 -0
  66. data/ext/crlibm/missing +198 -0
  67. data/ext/crlibm/mkinstalldirs +40 -0
  68. data/ext/crlibm/rem_pio2_accurate.c +219 -0
  69. data/ext/crlibm/rem_pio2_accurate.h +53 -0
  70. data/ext/crlibm/scs_lib/AUTHORS +3 -0
  71. data/ext/crlibm/scs_lib/COPYING +504 -0
  72. data/ext/crlibm/scs_lib/ChangeLog +16 -0
  73. data/ext/crlibm/scs_lib/INSTALL +215 -0
  74. data/ext/crlibm/scs_lib/Makefile.am +18 -0
  75. data/ext/crlibm/scs_lib/Makefile.in +328 -0
  76. data/ext/crlibm/scs_lib/NEWS +0 -0
  77. data/ext/crlibm/scs_lib/README +9 -0
  78. data/ext/crlibm/scs_lib/TODO +4 -0
  79. data/ext/crlibm/scs_lib/addition_scs.c +623 -0
  80. data/ext/crlibm/scs_lib/config.guess +1461 -0
  81. data/ext/crlibm/scs_lib/config.sub +1566 -0
  82. data/ext/crlibm/scs_lib/configure +6226 -0
  83. data/ext/crlibm/scs_lib/division_scs.c +110 -0
  84. data/ext/crlibm/scs_lib/double2scs.c +174 -0
  85. data/ext/crlibm/scs_lib/install-sh +269 -0
  86. data/ext/crlibm/scs_lib/missing +198 -0
  87. data/ext/crlibm/scs_lib/mkinstalldirs +40 -0
  88. data/ext/crlibm/scs_lib/multiplication_scs.c +456 -0
  89. data/ext/crlibm/scs_lib/poly_fct.c +112 -0
  90. data/ext/crlibm/scs_lib/print_scs.c +73 -0
  91. data/ext/crlibm/scs_lib/rand_scs.c +63 -0
  92. data/ext/crlibm/scs_lib/scs.h +353 -0
  93. data/ext/crlibm/scs_lib/scs2double.c +391 -0
  94. data/ext/crlibm/scs_lib/scs2mpf.c +58 -0
  95. data/ext/crlibm/scs_lib/scs2mpfr.c +61 -0
  96. data/ext/crlibm/scs_lib/scs_private.c +23 -0
  97. data/ext/crlibm/scs_lib/scs_private.h +133 -0
  98. data/ext/crlibm/scs_lib/tests/tbx_timing.h +102 -0
  99. data/ext/crlibm/scs_lib/wrapper_scs.h +486 -0
  100. data/ext/crlibm/scs_lib/zero_scs.c +52 -0
  101. data/ext/crlibm/stamp-h.in +1 -0
  102. data/ext/crlibm/tests/Makefile.am +43 -0
  103. data/ext/crlibm/tests/Makefile.in +396 -0
  104. data/ext/crlibm/tests/blind_test.c +148 -0
  105. data/ext/crlibm/tests/generate_test_vectors.c +258 -0
  106. data/ext/crlibm/tests/soak_test.c +334 -0
  107. data/ext/crlibm/tests/test_common.c +627 -0
  108. data/ext/crlibm/tests/test_common.h +28 -0
  109. data/ext/crlibm/tests/test_perf.c +570 -0
  110. data/ext/crlibm/tests/test_val.c +249 -0
  111. data/ext/crlibm/trigo_accurate.c +500 -0
  112. data/ext/crlibm/trigo_accurate.h +331 -0
  113. data/ext/crlibm/trigo_fast.c +1219 -0
  114. data/ext/crlibm/trigo_fast.h +639 -0
  115. data/ext/crlibm/triple-double.h +878 -0
  116. data/ext/extconf.rb +31 -0
  117. data/ext/fpu.c +107 -0
  118. data/ext/jamis-mod.rb +591 -0
  119. data/lib/fpu.rb +287 -0
  120. data/lib/interval.rb +1170 -0
  121. data/lib/intervals.rb +212 -0
  122. data/lib/struct_float.rb +133 -0
  123. data/test/data_atan.txt +360 -0
  124. data/test/data_cos.txt +346 -0
  125. data/test/data_cosh.txt +3322 -0
  126. data/test/data_exp.txt +3322 -0
  127. data/test/data_log.txt +141 -0
  128. data/test/data_sin.txt +140 -0
  129. data/test/data_sinh.txt +3322 -0
  130. data/test/data_tan.txt +342 -0
  131. metadata +186 -0
data/test/data_tan.txt ADDED
@@ -0,0 +1,342 @@
1
+ 302 4780885475370853 -52 -4651209055956177
2
+ 872 8404089104679074 -52 -7173657938430764
3
+ 436 -4688398958902095 -52 5494081616994308
4
+ 58 -7189960668623828 -53 -7624712488138010
5
+ 235 -7935143004738481 -50 -6205130857341697
6
+ 289 5997794062152642 -55 -6902776384883231
7
+ 917 6717736897609634 -54 -5207421826914703
8
+ 734 -8783320489781040 -53 4853799999455907
9
+ 178 -7915550220283015 -52 6867034944803883
10
+ 284 -7508655687073819 -53 6320137105204830
11
+ 931 5488012911295077 -53 -4687258827908928
12
+ 561 7286494128717589 -52 -8995296434424043
13
+ 69 -8821346418928056 -52 4691666847968588
14
+ 490 7975947036744643 -49 5606535340012215
15
+ 54 -6643259448241660 -51 -7637079768603776
16
+ 928 7122926665638559 -51 5325009369464017
17
+ 692 8255878855959669 -54 -7169962181155889
18
+ 635 -7818010205316417 -54 -5152313510671332
19
+ 204 8973314519691644 -56 -8712336403851985
20
+ 406 -8053856385728043 -52 -5307840823754921
21
+ 520 8688708832230002 -54 -6372230437504539
22
+ 958 -5026214236112158 -55 7562767919387636
23
+ 604 5005726766732126 -51 5064494984796303
24
+ 395 -7131484857395430 -51 -5735783419703632
25
+ 73 -5078584619890503 -55 -7020043235588938
26
+ 380 -6516446499575935 -57 5221739667494394
27
+ 534 7769729465833816 -52 7562504314146187
28
+ 836 -5935055402425233 -55 6525546883556672
29
+ 899 -6516414118050115 -51 -4884956068178278
30
+ 65 5490093429755392 -57 4607622474244232
31
+ 469 8958788213279047 -54 8449010383984307
32
+ 103 -8966395090100414 -52 8521318025136108
33
+ 518 -8183762372939916 -45 -8411599458225422
34
+ 704 7822281294612439 -52 8018398547318855
35
+ 669 5899492871018557 -51 8126124782546330
36
+ 759 5390778940798043 -52 -8198329490990695
37
+ -22 -8953588024102574 -53 -5192457771149378
38
+ 706 4625055397579641 -53 -7135643721325143
39
+ 682 -5012476068105471 -51 5649821287302478
40
+ 4 7920632353117830 -53 -5843547498154667
41
+ 964 -6413655708001306 -50 6602800410863723
42
+ 6 -8992279026630644 -50 -4977079175954329
43
+ -38 -8571788334464634 -53 -5345696583473921
44
+ 620 -6002527351129195 -51 5735213486512766
45
+ 725 -6553465465024199 -52 5041313315818449
46
+ 603 -5881844085726156 -52 4979536232055369
47
+ 469 5288597956655156 -53 4807115484682895
48
+ 706 -5718759018654159 -49 -5798569417397263
49
+ 421 7144980227265018 -54 7392391912543931
50
+ 795 6253497667210765 -52 8568402733590938
51
+ 186 -5397387305959623 -51 7233597445137078
52
+ 182 8269600687550805 -52 5127232496761807
53
+ 683 8075614447500808 -52 4830065636156198
54
+ 194 5399989879993242 -57 7701507770287611
55
+ 246 5728124810461974 -52 -6934063912028221
56
+ 605 -5677877266934333 -57 7754321761769938
57
+ 616 4948706564731008 -55 7140475254790921
58
+ -10 -5974493668302370 -52 -8514131805324359
59
+ 608 8030979510170298 -53 4548522905336104
60
+ 950 -7252189064957243 -53 -6436177039051480
61
+ 741 -8388374897136077 -54 -5212061012228544
62
+ -56 -7289326254643065 -56 -7314293052038122
63
+ 898 -8248909020556134 -51 -7840653072504730
64
+ 212 5704007178839049 -53 4836322424368309
65
+ 451 -8937695767057778 -53 5113851807748538
66
+ 961 5048517060522830 -53 7231611084342115
67
+ 518 -4507674403478663 -56 7180945187425593
68
+ 326 8800214138065976 -53 4536388193904151
69
+ 413 -4648654446160192 -52 8391733347979045
70
+ 533 6723095659918964 -50 4797289827628463
71
+ 384 -7365962857523866 -52 -5012605400394964
72
+ 742 8583240184595021 -58 8063075213810750
73
+ 755 -6303190415777864 -51 -5975148523411376
74
+ 910 -8857853600299559 -49 -7690846961727379
75
+ 763 -6302208400881431 -52 5336827431728211
76
+ 50 8946422980873212 -46 5278826099917441
77
+ 928 7447141953172425 -53 5738230219717560
78
+ 850 -7696120585862108 -52 -4733437547204120
79
+ 829 5262229270367196 -51 -6163285546947898
80
+ 689 -8177906430900211 -52 7643765391362468
81
+ 952 -8544905478954551 -51 5476938103142508
82
+ 541 8126963513615813 -50 7956075524335398
83
+ 674 -6350314579081898 -53 6371975139141792
84
+ 674 -5587129884061930 -53 -8701096345131707
85
+ 418 -7602123249415280 -52 8333768794168267
86
+ 275 7878560284300247 -52 -6074503969045074
87
+ 890 -5670962412109435 -49 7562579986632343
88
+ 752 -5892100291501475 -49 -8937183344675904
89
+ 664 6402354569865625 -53 -7113720139748193
90
+ -9 -7714896987932451 -52 6744433266168993
91
+ 650 8481022786384703 -55 -5549330112960618
92
+ 135 8984973269708610 -53 -7501543689064694
93
+ 448 8762554974787697 -51 6059440554771524
94
+ 321 7145195820086631 -52 5223448117789765
95
+ 491 5619299690227560 -51 -6173126723767820
96
+ 786 -6464683765301755 -50 -4723094396417373
97
+ 840 -7976468224392827 -51 -6301151329986170
98
+ 244 5495841269477874 -56 -5465992898676676
99
+ 857 6273072155733398 -48 -4562540528166362
100
+ 938 -5204790967368123 -54 5535984410670590
101
+ 338 -5404922935579540 -53 4556960841031141
102
+ 179 -6185211655770371 -52 -7519417377450728
103
+ 825 -8032484808846439 -54 8278465174301743
104
+ -33 6575505831337815 -54 -4854413220943568
105
+ 477 -8320198118954331 -53 -6366158639796808
106
+ 629 7763355249113136 -52 -8751845407999887
107
+ 39 5562114900038453 -53 -8835099523937020
108
+ 86 6115304756681698 -53 4638479078753770
109
+ 868 6838724393732860 -51 -7163441775088595
110
+ 727 -6403862417106682 -49 7505027080230661
111
+ 174 7880367150855443 -53 -5006528843935139
112
+ 368 -4651929054248903 -53 5746178354194802
113
+ -22 7694988983724701 -65 4991302771700868
114
+ 17 8828661640811909 -51 6334894436922882
115
+ 170 7311290702417244 -55 8315245322100377
116
+ -41 -5712580261968172 -54 5897566608658964
117
+ 440 -8060375378498970 -52 6632188466449439
118
+ -46 -4878637010510826 -55 -7851316945179021
119
+ 937 4515376877540245 -55 8667873259935968
120
+ -42 7490429136831364 -54 7261799044681428
121
+ 566 5381767929103801 -53 5076301036092426
122
+ 249 -6840727076462121 -54 7949668978793212
123
+ 745 6677117536293477 -55 6505849954539365
124
+ 381 -7446199915905815 -58 6911159281182519
125
+ 890 -4969834716563240 -54 -7513559178595531
126
+ 623 -4676012876474012 -51 7981719699326885
127
+ 599 5054344282018396 -52 7023302790039736
128
+ 35 -5736423068146914 -52 4815483124060291
129
+ 454 5845520675523037 -51 5932851789722445
130
+ 571 6659508723346315 -52 -6325432228582464
131
+ -1 -8459350687622023 -52 4562402241825717
132
+ 935 7786880455204390 -51 6801473221382664
133
+ 517 -8382387951573047 -55 4853034247050113
134
+ 660 -8212172037665684 -54 -7835844760066558
135
+ 947 6616927853409418 -52 -5528029637695405
136
+ 958 7061099229072516 -55 8242176429047181
137
+ 186 5175535785045575 -56 -8534109623642023
138
+ 147 8608656118921384 -52 -5182129395359354
139
+ -14 6810973697168006 -52 8828524265907027
140
+ 229 -6235573764682149 -52 7709732419505300
141
+ 11 -7489065528060076 -50 -4518648154181327
142
+ 528 -6941236988725753 -52 -5247118196426248
143
+ 709 8704157962716232 -52 -7799214330966233
144
+ 35 6660321519563585 -54 8068126903576726
145
+ 813 -7154453309481838 -53 5335736498076621
146
+ 323 -6557665021435862 -50 5610216015272626
147
+ 963 8044542849873483 -53 8056530642849784
148
+ 292 -6907906746119370 -55 6254489237653736
149
+ 56 -8064771950961255 -48 4982373968233091
150
+ 165 4782517380104980 -52 -5023157219334473
151
+ 14 5859901292437246 -47 6729439296742348
152
+ 528 7559077205320783 -52 8385526529758538
153
+ 267 -8188828599027364 -52 -7978972067101195
154
+ -49 -7120903533054781 -56 -5986939530548560
155
+ 759 -8898657517772860 -52 -7479231828825066
156
+ -36 -8430604454556390 -52 5598598066868910
157
+ 762 7388706123850501 -56 -6893889071067832
158
+ 703 -7560148573792481 -56 7036463381560148
159
+ 50 5884285658190306 -53 -5287555225551687
160
+ 926 -8135698472742059 -51 -7082197526447911
161
+ 818 8575502519031985 -52 5270476011843930
162
+ 140 7316035320943544 -51 -6300751379233833
163
+ -26 -4860123268358702 -54 -8042697653409818
164
+ 382 6445045065099329 -52 -5780553069307577
165
+ 460 6398790119372539 -54 -8654842088950270
166
+ 912 -6514666390008252 -48 5145450757860381
167
+ 912 -8557903970648431 -52 -6013718832045113
168
+ 554 8310931463778877 -51 7015621705750964
169
+ 932 -6871784998462205 -57 -5479066332541840
170
+ 34 8440045377808179 -55 8520738172817270
171
+ 218 6843027352156354 -53 5945054789980858
172
+ 11 6471271875313169 -55 -6275490417687082
173
+ 199 8414867063834083 -53 -6270211043201276
174
+ -4 5354455398429265 -52 -7113165633895232
175
+ 46 -6435055206559223 -54 -5567752044799524
176
+ 947 -6931759635289652 -51 -6195781227709031
177
+ 169 -7185505547987369 -52 -6745993841589283
178
+ -11 -6612127313397301 -53 -5483065966484437
179
+ 512 5808368044647166 -48 -8082937067244319
180
+ 871 -6305546834100884 -54 7487713353049273
181
+ 855 6288745999371053 -55 -6592641208477773
182
+ 256 5179106914994706 -54 8998519199164008
183
+ 874 -5844200671146336 -53 -8921482716960658
184
+ 622 -6842167955962098 -57 -5917010542720825
185
+ 718 -6131640075155398 -54 4868188911513465
186
+ -30 -5441079400140646 -50 8624564684671797
187
+ -44 7212531746215235 -45 -4940290354592154
188
+ 662 -8460499248545863 -49 -7622859965778344
189
+ 475 -6835030691540620 -53 -4630429978982911
190
+ 387 -7232461674625480 -53 5967375486902966
191
+ 377 -8773395019785329 -46 -5332435652687167
192
+ 536 -5195945109067218 -51 -8552423106957079
193
+ 796 -8933662698225099 -52 -8427735436034650
194
+ 140 -5160537155691563 -54 -7633354560491614
195
+ 343 6197455478489890 -54 5498108221187162
196
+ 666 -4880802988208185 -52 -7085939608958382
197
+ 569 8164297139998536 -53 4527217075995055
198
+ 162 6499994822190808 -51 6443343441188003
199
+ 7 -7030189975677511 -51 -6117050331938246
200
+ 901 -7652899124104036 -53 -4536030311068035
201
+ 527 5674547179194149 -55 5913536606361605
202
+ 867 -6794368917475258 -49 5943208337827120
203
+ 30 5925934930092471 -56 -8333582944801106
204
+ 167 -6851397324785180 -54 -8026675951217006
205
+ 89 -8903549122345304 -53 -5559843451514469
206
+ 565 -5804749301667323 -51 5473120944705620
207
+ 503 5045046181545517 -53 4859101455765072
208
+ 599 -5102576235263644 -52 -8244572374770601
209
+ 529 4963299713766854 -52 6421939148854403
210
+ 439 -7207614394431812 -52 -7659628237190246
211
+ 240 -7625965126203657 -54 -7276984633097863
212
+ 591 -5796399937926570 -55 -5343727524755155
213
+ 276 -6549723681918676 -53 4713424847612810
214
+ 143 7717744086788930 -53 -7195732817659017
215
+ 757 -7718916888512041 -55 8733492183693090
216
+ 629 6611789178140130 -53 4825400233131738
217
+ 18 -4622565772914791 -51 -7722917243739119
218
+ 762 6607720901127728 -49 5613272221342066
219
+ 813 6449702365247386 -51 7978959082067711
220
+ 668 8557993165227142 -55 -8873774402557905
221
+ 178 -6615557652511809 -48 7537189126740806
222
+ 606 -5646080080209432 -49 5716639498677757
223
+ 589 6569216864961890 -52 -4932207948897635
224
+ 777 -5643312598101631 -53 7745274251587788
225
+ 572 8187302277332408 -51 5621363012948542
226
+ 219 4779268256619897 -49 -5037051613849433
227
+ 589 7956085796341231 -53 4740259441309226
228
+ -43 -7572640387561328 -56 -8188421323522792
229
+ 562 8640212792384959 -51 4593537420383683
230
+ 489 7114509155148794 -53 5653141067151365
231
+ 490 4590784277923266 -53 5206981408207927
232
+ 708 -5446167389216410 -53 -8110228389709270
233
+ 892 -8886951853042599 -49 6732416134011830
234
+ 621 7517745846488830 -52 -6624390047348983
235
+ 600 4574011622364861 -53 -7622209230175694
236
+ 285 -7415222458372249 -54 8576044703322651
237
+ 515 -7077919066485282 -54 7475241104934366
238
+ 475 -7310185339656158 -50 -5014239201214153
239
+ 217 8441464185570341 -53 -8628573380408128
240
+ 493 -8411450600890643 -50 -6788330532077412
241
+ 231 -4952647607943428 -40 8652944077282829
242
+ 552 -7738184929319179 -49 -6265319903405435
243
+ 64 5678976828376183 -49 -8673269622622855
244
+ 251 -8419763931494590 -51 5132368971510643
245
+ 560 -6401231289342501 -57 -5594444217707954
246
+ 595 8959123519575506 -54 -8005482979382163
247
+ 422 -5801478808759119 -53 -5186713938393907
248
+ 944 -6582460190579422 -52 -8986834079676760
249
+ 900 -7333741573242798 -53 -7537867322821563
250
+ 793 -5107611973661528 -52 -6874268764465771
251
+ 885 -7683385233919657 -50 -7122223139426756
252
+ 388 -7664831262318322 -49 -4540848534652288
253
+ 381 6474703096456245 -52 -8346210581580484
254
+ 120 -7783125342936781 -50 5132946945828723
255
+ 355 7988227885004206 -52 -4936835330180144
256
+ 885 -5382804614521311 -53 6051386551966629
257
+ 746 -6537522782304719 -56 -4982767978606784
258
+ 596 8277439584176063 -54 6759517080054999
259
+ 83 -6221583247107516 -52 -7271278535387093
260
+ 890 -5180902399997968 -53 -7400673387539043
261
+ 764 7045844509949940 -52 4894976992671021
262
+ 633 8735379093421154 -50 -5633782085333299
263
+ 111 -6373237147581228 -50 6864785373573017
264
+ 328 6596334090356023 -54 -5989034461815843
265
+ 742 8601637784697992 -53 -8013364879055358
266
+ 66 8573457142422805 -53 6903611517767271
267
+ 115 -5253123509364161 -52 8651260223979617
268
+ -20 -6882765194994734 -53 8473172842511959
269
+ 278 5842821108194908 -54 8598131790915735
270
+ 557 -8801400167320109 -55 -5793209770153014
271
+ -20 4740467082383681 -49 -6195744709507078
272
+ 329 8329198818556191 -54 -6547521629615256
273
+ 894 -8717447781648186 -53 6847875447160925
274
+ 929 6930297596166937 -54 8923989007770971
275
+ 715 -6060838977731100 -54 -7653415127057559
276
+ 485 6452388013686701 -51 6041987791127038
277
+ 640 -6842691429464904 -52 -4597615521529770
278
+ 845 5482853437777374 -51 -6719316751746558
279
+ 467 4940898790059830 -52 8660650887095550
280
+ 187 5279931526996079 -52 7192308090502707
281
+ 549 -6464752928312445 -53 7388792652831093
282
+ -3 7676386977149981 -54 -4515933155089123
283
+ 866 4855223833870335 -50 -7206759424952444
284
+ 357 6125075003576840 -53 -5566123937395356
285
+ 27 -7640089808457184 -53 -4981813864539977
286
+ 703 -6482314654541730 -52 4913754674515123
287
+ 400 -8178613470621423 -53 -6586364268240109
288
+ 621 8459313812840244 -50 -6726499405620285
289
+ 44 7413097945503244 -51 -4609392582372111
290
+ 583 8517316607082170 -49 7015034683645060
291
+ 863 6379240821884342 -52 4826784309953871
292
+ 645 4530045800179273 -47 -7722346432883420
293
+ 313 5518542175511291 -53 -4920804114667213
294
+ 6 -5569225715621784 -56 5426495765863067
295
+ 852 -8176447421612500 -59 -6408338122081937
296
+ 767 5643042063814819 -52 -7236819924108937
297
+ 562 6814748161378098 -56 8706564763267346
298
+ 477 -8030217916879717 -56 -6511879673072177
299
+ 536 -7825698016243383 -56 -5838878264320035
300
+ 702 8530118138418848 -50 -6115380930395942
301
+ 867 -8917275022644527 -53 -6300872283847376
302
+ 260 8047067263257100 -50 -8022931840934755
303
+ 113 -8887046497605415 -49 -8185930240328069
304
+ 648 -5978809122725897 -55 7935336671977163
305
+ 733 7476330355623756 -51 -8725530469098281
306
+ 809 7167878049260213 -52 -5527770746778198
307
+ 931 -5467620053981936 -54 8682247368784444
308
+ 931 -8223729210156689 -53 -7842763296867291
309
+ 771 8641366355243644 -53 -4604768202725052
310
+ 462 -6096789391321063 -51 5659635011251332
311
+ 637 -8827047907161747 -61 7626053701182332
312
+ 349 6733959610159681 -53 7066501120029987
313
+ 856 -4571472179888130 -53 5208730885156292
314
+ 552 -8628284286953086 -52 5145857909004005
315
+ 870 -7047840188508620 -49 -5879093856191833
316
+ 900 -6935313037441733 -49 -5255911472657089
317
+ 50 -4618904032514496 -51 -6066781678825496
318
+ 944 -6790293367030252 -54 6717513939592619
319
+ 451 6130910521721262 -51 -5516873743649302
320
+ 142 -6383653682211087 -53 8076332332642355
321
+ 676 -7509638726024033 -53 8336099606311310
322
+ 41 -4539171363159882 -53 -5730988334470516
323
+ 767 7152787893621908 -53 7963181754283198
324
+ -4 5586592479107359 -53 -7667236566453736
325
+ 97 6944416817546624 -56 7763698125104666
326
+ 103 -5827145060849472 -55 -5747738992306804
327
+ 567 -7167572471446175 -54 -6387299258470290
328
+ 301 -6161766281989480 -54 -7225018962230664
329
+ 285 7474987812854909 -51 5944196308778783
330
+ 819 4765526358918690 -53 6794660150573957
331
+ 9 -7715630940681910 -50 -8765281970096169
332
+ -40 6739345260911791 -55 5502024295021500
333
+ 247 -8817190791434910 -53 8200514661805215
334
+ 745 8374507722053583 -51 -4585644678282263
335
+ 499 7993236111639596 -54 -5109464819282642
336
+ 534 8923877129196676 -50 5183831972690590
337
+ 364 -7239928934895259 -51 4730086631223813
338
+ 114 7670691698600876 -53 6487399035221998
339
+ 11 6012259693302966 -55 7202793547512087
340
+ 913 5628467547079734 -54 6179983542338352
341
+ 186 5644204236841257 -53 5582720621271596
342
+ 834 -5075638344639398 -55 4653495118838252
metadata ADDED
@@ -0,0 +1,186 @@
1
+ --- !ruby/object:Gem::Specification
2
+ rubygems_version: 0.8.11
3
+ specification_version: 1
4
+ name: intervals
5
+ version: !ruby/object:Gem::Version
6
+ version: 0.3.56
7
+ date: 2006-03-29 00:00:00 +02:00
8
+ summary: Interval arithmetic in Ruby.
9
+ require_paths:
10
+ - lib
11
+ email: taschini@gmail.com
12
+ homepage: http://intervals.rubyforge.org/
13
+ rubyforge_project: long-decimal
14
+ description: This library implements an interval system in the extended real set that is closed under arithmetic operations. Correct rounding ensures that the operations are inclusion-wise monotonic.
15
+ autorequire:
16
+ default_executable:
17
+ bindir: bin
18
+ has_rdoc: true
19
+ required_ruby_version: !ruby/object:Gem::Version::Requirement
20
+ requirements:
21
+ - - ">"
22
+ - !ruby/object:Gem::Version
23
+ version: 0.0.0
24
+ version:
25
+ platform: ruby
26
+ signing_key:
27
+ cert_chain:
28
+ authors:
29
+ - Stefano Taschini
30
+ files:
31
+ - test/data_sin.txt
32
+ - test/data_cosh.txt
33
+ - test/data_exp.txt
34
+ - test/data_log.txt
35
+ - test/data_sinh.txt
36
+ - test/data_tan.txt
37
+ - test/data_atan.txt
38
+ - test/data_cos.txt
39
+ - ext/jamis-mod.rb
40
+ - ext/extconf.rb
41
+ - ext/fpu.c
42
+ - ext/crlibm/
43
+ - ext/crlibm/aclocal.m4
44
+ - ext/crlibm/atan-itanium.c
45
+ - ext/crlibm/atan-pentium.c
46
+ - ext/crlibm/atan_accurate.c
47
+ - ext/crlibm/atan_accurate.h
48
+ - ext/crlibm/atan_fast.c
49
+ - ext/crlibm/atan_fast.h
50
+ - ext/crlibm/AUTHORS
51
+ - ext/crlibm/ChangeLog
52
+ - ext/crlibm/config.guess
53
+ - ext/crlibm/config.sub
54
+ - ext/crlibm/configure
55
+ - ext/crlibm/configure.ac
56
+ - ext/crlibm/COPYING
57
+ - ext/crlibm/crlibm.h
58
+ - ext/crlibm/crlibm_config.h
59
+ - ext/crlibm/crlibm_config.h.in
60
+ - ext/crlibm/crlibm_private.c
61
+ - ext/crlibm/crlibm_private.h
62
+ - ext/crlibm/csh_fast.c
63
+ - ext/crlibm/csh_fast.h
64
+ - ext/crlibm/double-extended.h
65
+ - ext/crlibm/exp-td.c
66
+ - ext/crlibm/exp-td.h
67
+ - ext/crlibm/exp_accurate.c
68
+ - ext/crlibm/exp_accurate.h
69
+ - ext/crlibm/gappa/
70
+ - ext/crlibm/gappa/log-de-E0-logir0.gappa
71
+ - ext/crlibm/gappa/log-de-E0.gappa
72
+ - ext/crlibm/gappa/log-de.gappa
73
+ - ext/crlibm/gappa/log-td-accurate-E0-logir0.gappa
74
+ - ext/crlibm/gappa/log-td-accurate-E0.gappa
75
+ - ext/crlibm/gappa/log-td-accurate.gappa
76
+ - ext/crlibm/gappa/log-td-E0-logir0.gappa
77
+ - ext/crlibm/gappa/log-td-E0.gappa
78
+ - ext/crlibm/gappa/log-td.gappa
79
+ - ext/crlibm/gappa/trigoSinCosCase3.gappa
80
+ - ext/crlibm/gappa/trigoTanCase2.gappa
81
+ - ext/crlibm/INSTALL
82
+ - ext/crlibm/install-sh
83
+ - ext/crlibm/log-de.c
84
+ - ext/crlibm/log-de.h
85
+ - ext/crlibm/log-td.c
86
+ - ext/crlibm/log-td.h
87
+ - ext/crlibm/log10-td.c
88
+ - ext/crlibm/log10-td.h
89
+ - ext/crlibm/log2-td.c
90
+ - ext/crlibm/log2-td.h
91
+ - ext/crlibm/Makefile.am
92
+ - ext/crlibm/Makefile.in
93
+ - ext/crlibm/maple/
94
+ - ext/crlibm/maple/atan.mpl
95
+ - ext/crlibm/maple/common-procedures.mpl
96
+ - ext/crlibm/maple/csh.mpl
97
+ - ext/crlibm/maple/double-extended.mpl
98
+ - ext/crlibm/maple/exp-td.mpl
99
+ - ext/crlibm/maple/log-de.mpl
100
+ - ext/crlibm/maple/log-td.mpl
101
+ - ext/crlibm/maple/log10-td.mpl
102
+ - ext/crlibm/maple/log2-td.mpl
103
+ - ext/crlibm/maple/trigo.mpl
104
+ - ext/crlibm/maple/triple-double.mpl
105
+ - ext/crlibm/missing
106
+ - ext/crlibm/mkinstalldirs
107
+ - ext/crlibm/NEWS
108
+ - ext/crlibm/README
109
+ - ext/crlibm/rem_pio2_accurate.c
110
+ - ext/crlibm/rem_pio2_accurate.h
111
+ - ext/crlibm/scs_lib/
112
+ - ext/crlibm/scs_lib/addition_scs.c
113
+ - ext/crlibm/scs_lib/AUTHORS
114
+ - ext/crlibm/scs_lib/ChangeLog
115
+ - ext/crlibm/scs_lib/config.guess
116
+ - ext/crlibm/scs_lib/config.sub
117
+ - ext/crlibm/scs_lib/configure
118
+ - ext/crlibm/scs_lib/COPYING
119
+ - ext/crlibm/scs_lib/division_scs.c
120
+ - ext/crlibm/scs_lib/double2scs.c
121
+ - ext/crlibm/scs_lib/INSTALL
122
+ - ext/crlibm/scs_lib/install-sh
123
+ - ext/crlibm/scs_lib/Makefile.am
124
+ - ext/crlibm/scs_lib/Makefile.in
125
+ - ext/crlibm/scs_lib/missing
126
+ - ext/crlibm/scs_lib/mkinstalldirs
127
+ - ext/crlibm/scs_lib/multiplication_scs.c
128
+ - ext/crlibm/scs_lib/NEWS
129
+ - ext/crlibm/scs_lib/poly_fct.c
130
+ - ext/crlibm/scs_lib/print_scs.c
131
+ - ext/crlibm/scs_lib/rand_scs.c
132
+ - ext/crlibm/scs_lib/README
133
+ - ext/crlibm/scs_lib/scs.h
134
+ - ext/crlibm/scs_lib/scs2double.c
135
+ - ext/crlibm/scs_lib/scs2mpf.c
136
+ - ext/crlibm/scs_lib/scs2mpfr.c
137
+ - ext/crlibm/scs_lib/scs_private.c
138
+ - ext/crlibm/scs_lib/scs_private.h
139
+ - ext/crlibm/scs_lib/tests/
140
+ - ext/crlibm/scs_lib/tests/tbx_timing.h
141
+ - ext/crlibm/scs_lib/TODO
142
+ - ext/crlibm/scs_lib/wrapper_scs.h
143
+ - ext/crlibm/scs_lib/zero_scs.c
144
+ - ext/crlibm/stamp-h.in
145
+ - ext/crlibm/tests/
146
+ - ext/crlibm/tests/blind_test.c
147
+ - ext/crlibm/tests/generate_test_vectors.c
148
+ - ext/crlibm/tests/Makefile.am
149
+ - ext/crlibm/tests/Makefile.in
150
+ - ext/crlibm/tests/soak_test.c
151
+ - ext/crlibm/tests/test_common.c
152
+ - ext/crlibm/tests/test_common.h
153
+ - ext/crlibm/tests/test_perf.c
154
+ - ext/crlibm/tests/test_val.c
155
+ - ext/crlibm/TODO
156
+ - ext/crlibm/trigo_accurate.c
157
+ - ext/crlibm/trigo_accurate.h
158
+ - ext/crlibm/trigo_fast.c
159
+ - ext/crlibm/trigo_fast.h
160
+ - ext/crlibm/triple-double.h
161
+ - ext/crlibm/VERSION
162
+ - lib/interval.rb
163
+ - lib/intervals.rb
164
+ - lib/struct_float.rb
165
+ - lib/fpu.rb
166
+ - VERSION.txt
167
+ test_files:
168
+ - lib/interval.rb
169
+ rdoc_options:
170
+ - --inline-source
171
+ - --template
172
+ - ext/jamis-mod
173
+ - --title
174
+ - "Intervals: Interval arithmetic in Ruby"
175
+ - --main
176
+ - lib/intervals.rb
177
+ extra_rdoc_files: []
178
+
179
+ executables: []
180
+
181
+ extensions:
182
+ - ext/extconf.rb
183
+ requirements: []
184
+
185
+ dependencies: []
186
+