intervals 0.3.56
Sign up to get free protection for your applications and to get access to all the features.
- data/VERSION.txt +1 -0
- data/ext/crlibm/AUTHORS +2 -0
- data/ext/crlibm/COPYING +504 -0
- data/ext/crlibm/ChangeLog +80 -0
- data/ext/crlibm/INSTALL +182 -0
- data/ext/crlibm/Makefile.am +84 -0
- data/ext/crlibm/Makefile.in +530 -0
- data/ext/crlibm/NEWS +0 -0
- data/ext/crlibm/README +31 -0
- data/ext/crlibm/TODO +47 -0
- data/ext/crlibm/VERSION +1 -0
- data/ext/crlibm/aclocal.m4 +989 -0
- data/ext/crlibm/atan-itanium.c +846 -0
- data/ext/crlibm/atan-pentium.c +261 -0
- data/ext/crlibm/atan_accurate.c +244 -0
- data/ext/crlibm/atan_accurate.h +191 -0
- data/ext/crlibm/atan_fast.c +324 -0
- data/ext/crlibm/atan_fast.h +678 -0
- data/ext/crlibm/config.guess +1461 -0
- data/ext/crlibm/config.sub +1566 -0
- data/ext/crlibm/configure +7517 -0
- data/ext/crlibm/configure.ac +364 -0
- data/ext/crlibm/crlibm.h +125 -0
- data/ext/crlibm/crlibm_config.h +149 -0
- data/ext/crlibm/crlibm_config.h.in +148 -0
- data/ext/crlibm/crlibm_private.c +293 -0
- data/ext/crlibm/crlibm_private.h +658 -0
- data/ext/crlibm/csh_fast.c +631 -0
- data/ext/crlibm/csh_fast.h +771 -0
- data/ext/crlibm/double-extended.h +496 -0
- data/ext/crlibm/exp-td.c +962 -0
- data/ext/crlibm/exp-td.h +685 -0
- data/ext/crlibm/exp_accurate.c +197 -0
- data/ext/crlibm/exp_accurate.h +85 -0
- data/ext/crlibm/gappa/log-de-E0-logir0.gappa +106 -0
- data/ext/crlibm/gappa/log-de-E0.gappa +79 -0
- data/ext/crlibm/gappa/log-de.gappa +81 -0
- data/ext/crlibm/gappa/log-td-E0-logir0.gappa +126 -0
- data/ext/crlibm/gappa/log-td-E0.gappa +143 -0
- data/ext/crlibm/gappa/log-td-accurate-E0-logir0.gappa +230 -0
- data/ext/crlibm/gappa/log-td-accurate-E0.gappa +213 -0
- data/ext/crlibm/gappa/log-td-accurate.gappa +217 -0
- data/ext/crlibm/gappa/log-td.gappa +156 -0
- data/ext/crlibm/gappa/trigoSinCosCase3.gappa +204 -0
- data/ext/crlibm/gappa/trigoTanCase2.gappa +73 -0
- data/ext/crlibm/install-sh +269 -0
- data/ext/crlibm/log-de.c +431 -0
- data/ext/crlibm/log-de.h +732 -0
- data/ext/crlibm/log-td.c +852 -0
- data/ext/crlibm/log-td.h +819 -0
- data/ext/crlibm/log10-td.c +906 -0
- data/ext/crlibm/log10-td.h +823 -0
- data/ext/crlibm/log2-td.c +935 -0
- data/ext/crlibm/log2-td.h +821 -0
- data/ext/crlibm/maple/atan.mpl +359 -0
- data/ext/crlibm/maple/common-procedures.mpl +997 -0
- data/ext/crlibm/maple/csh.mpl +446 -0
- data/ext/crlibm/maple/double-extended.mpl +151 -0
- data/ext/crlibm/maple/exp-td.mpl +195 -0
- data/ext/crlibm/maple/log-de.mpl +243 -0
- data/ext/crlibm/maple/log-td.mpl +316 -0
- data/ext/crlibm/maple/log10-td.mpl +345 -0
- data/ext/crlibm/maple/log2-td.mpl +334 -0
- data/ext/crlibm/maple/trigo.mpl +728 -0
- data/ext/crlibm/maple/triple-double.mpl +58 -0
- data/ext/crlibm/missing +198 -0
- data/ext/crlibm/mkinstalldirs +40 -0
- data/ext/crlibm/rem_pio2_accurate.c +219 -0
- data/ext/crlibm/rem_pio2_accurate.h +53 -0
- data/ext/crlibm/scs_lib/AUTHORS +3 -0
- data/ext/crlibm/scs_lib/COPYING +504 -0
- data/ext/crlibm/scs_lib/ChangeLog +16 -0
- data/ext/crlibm/scs_lib/INSTALL +215 -0
- data/ext/crlibm/scs_lib/Makefile.am +18 -0
- data/ext/crlibm/scs_lib/Makefile.in +328 -0
- data/ext/crlibm/scs_lib/NEWS +0 -0
- data/ext/crlibm/scs_lib/README +9 -0
- data/ext/crlibm/scs_lib/TODO +4 -0
- data/ext/crlibm/scs_lib/addition_scs.c +623 -0
- data/ext/crlibm/scs_lib/config.guess +1461 -0
- data/ext/crlibm/scs_lib/config.sub +1566 -0
- data/ext/crlibm/scs_lib/configure +6226 -0
- data/ext/crlibm/scs_lib/division_scs.c +110 -0
- data/ext/crlibm/scs_lib/double2scs.c +174 -0
- data/ext/crlibm/scs_lib/install-sh +269 -0
- data/ext/crlibm/scs_lib/missing +198 -0
- data/ext/crlibm/scs_lib/mkinstalldirs +40 -0
- data/ext/crlibm/scs_lib/multiplication_scs.c +456 -0
- data/ext/crlibm/scs_lib/poly_fct.c +112 -0
- data/ext/crlibm/scs_lib/print_scs.c +73 -0
- data/ext/crlibm/scs_lib/rand_scs.c +63 -0
- data/ext/crlibm/scs_lib/scs.h +353 -0
- data/ext/crlibm/scs_lib/scs2double.c +391 -0
- data/ext/crlibm/scs_lib/scs2mpf.c +58 -0
- data/ext/crlibm/scs_lib/scs2mpfr.c +61 -0
- data/ext/crlibm/scs_lib/scs_private.c +23 -0
- data/ext/crlibm/scs_lib/scs_private.h +133 -0
- data/ext/crlibm/scs_lib/tests/tbx_timing.h +102 -0
- data/ext/crlibm/scs_lib/wrapper_scs.h +486 -0
- data/ext/crlibm/scs_lib/zero_scs.c +52 -0
- data/ext/crlibm/stamp-h.in +1 -0
- data/ext/crlibm/tests/Makefile.am +43 -0
- data/ext/crlibm/tests/Makefile.in +396 -0
- data/ext/crlibm/tests/blind_test.c +148 -0
- data/ext/crlibm/tests/generate_test_vectors.c +258 -0
- data/ext/crlibm/tests/soak_test.c +334 -0
- data/ext/crlibm/tests/test_common.c +627 -0
- data/ext/crlibm/tests/test_common.h +28 -0
- data/ext/crlibm/tests/test_perf.c +570 -0
- data/ext/crlibm/tests/test_val.c +249 -0
- data/ext/crlibm/trigo_accurate.c +500 -0
- data/ext/crlibm/trigo_accurate.h +331 -0
- data/ext/crlibm/trigo_fast.c +1219 -0
- data/ext/crlibm/trigo_fast.h +639 -0
- data/ext/crlibm/triple-double.h +878 -0
- data/ext/extconf.rb +31 -0
- data/ext/fpu.c +107 -0
- data/ext/jamis-mod.rb +591 -0
- data/lib/fpu.rb +287 -0
- data/lib/interval.rb +1170 -0
- data/lib/intervals.rb +212 -0
- data/lib/struct_float.rb +133 -0
- data/test/data_atan.txt +360 -0
- data/test/data_cos.txt +346 -0
- data/test/data_cosh.txt +3322 -0
- data/test/data_exp.txt +3322 -0
- data/test/data_log.txt +141 -0
- data/test/data_sin.txt +140 -0
- data/test/data_sinh.txt +3322 -0
- data/test/data_tan.txt +342 -0
- 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
|
+
|