]> www.ginac.de Git - cln.git/blob - tests/exam_DF_mul.cc
460b67c1a1587f7554d70abb14725b3aaf83220b
[cln.git] / tests / exam_DF_mul.cc
1 #include "exam.h"
2 #include <cln/dfloat.h>
3 #include <cln/dfloat_io.h>
4
5 static mul_test dfloat_mul_tests[] = {
6
7 { "-0.2554913394465045d0", "0.27042187315261135d0",
8   "-0.0690904465873934d0" },
9
10 { "-0.4489211233229662d0", "-0.42892136850270857d0",
11   "0.19255186256545986d0" },
12
13 { "-0.44586465919973783d0", "-0.15168042462027043d0",
14   "0.0676289408305884d0" },
15
16 { "0.5509395670465355d0", "0.3577558280766836d0",
17   "0.19710184102894285d0" },
18
19 { "-0.42780066410606965d0", "0.22704747885906007d0",
20   "-0.0971310622395147d0" },
21
22 { "0.20955388816500042d0", "0.605628751935113d0",
23   "0.12691185975251945d0" },
24
25 { "0.9993471610818964d0", "-4.363771855901198d9",
26   "-4.360923015803941d9" },
27
28 { "0.10502219375257282d0", "3.425205053451057d9",
29   "3.5972254876582843d8" },
30
31 { "0.7768651149081368d0", "1.666066330143864d9",
32   "1.2943088110117908d9" },
33
34 { "-0.6438389801759042d0", "2.8922130868526487d9",
35   "-1.8621195242906134d9" },
36
37 { "-0.7427680566504474d0", "6.763974500466173d9",
38   "-5.02406419494444d9" },
39
40 { "-0.8563035843259611d0", "2.9100478627456827d9",
41   "-2.4918844154292307d9" },
42
43 { "0.6219502737119671d0", "2.8868752190811842d-11",
44   "1.7954928326798375d-11" },
45
46 { "0.6767479505813657d0", "2.9324524289075574d-11",
47   "1.9845311714405376d-11" },
48
49 { "0.7944531541461581d0", "8.282076647859848d-11",
50   "6.579721915772496d-11" },
51
52 { "-0.4662914070981966d0", "-6.921260263903422d-11",
53   "3.227324187348362d-11" },
54
55 { "0.037804762510578516d0", "-3.044514833184461d-11",
56   "-1.1509716022847211d-12" },
57
58 { "-0.5364168049485208d0", "-3.695280705974925d-11",
59   "1.9822106696869836d-11" },
60
61 { "0.10343751426551051d0", "4.8902635121181385d19",
62   "5.058367017968255d18" },
63
64 { "-0.45511004829813784d0", "1.8210069906740634d19",
65   "-8.287585794769196d18" },
66
67 { "-0.9675158737162977d0", "8.097401718869682d19",
68   "-7.83436469886405d19" },
69
70 { "-0.06573561186185628d0", "2.6049125586869125d19",
71   "-1.712355208919178d18" },
72
73 { "-0.5574365795036731d0", "-8.822383181882661d19",
74   "4.917919103979403d19" },
75
76 { "-0.4222667103024276d0", "-1.8561723355961213d19",
77   "7.837997859065477d18" },
78
79 { "-0.8412207478192143d0", "2.3416069046402696d-22",
80   "-1.9698083114201234d-22" },
81
82 { "0.24291385591230452d0", "-9.448120185342916d-21",
83   "-2.295079305344525d-21" },
84
85 { "-0.37792600430678414d0", "-2.3929024368177364d-21",
86   "9.043400566424941d-22" },
87
88 { "-0.007648867433060369d0", "-5.3162210182098465d-21",
89   "4.066306981313633d-23" },
90
91 { "-0.7631807323096114d0", "-4.534410248041209d-21",
92   "3.4605745336922964d-21" },
93
94 { "0.4735366300649959d0", "-1.3895270471326203d-21",
95   "-6.579919552833457d-22" },
96
97 { "-8.64834403600587d9", "-0.14057280586223464d0",
98   "1.215721987203268d9" },
99
100 { "-1.5525713051163936d9", "0.10621224657238759d0",
101   "-1.64902086280236d8" },
102
103 { "3.297132746298694d9", "0.05318660311813239d0",
104   "1.7536329080518654d8" },
105
106 { "2.1659831568875275d9", "0.11704159596099262d0",
107   "2.5351012550674528d8" },
108
109 { "-5.533403510176525d9", "0.37778599060251605d0",
110   "-2.0904423264954782d9" },
111
112 { "-2.4217306331294374d9", "0.6051350227557695d0",
113   "-1.465474021787126d9" },
114
115 { "1.4048311850866513d9", "-4.304799039580996d9",
116   "-6.047515936334449d18" },
117
118 { "-5.070278162013437d9", "-9.116233758795675d9",
119   "4.622184094703138d19" },
120
121 { "8.452801605894673d9", "-9.002885976919611d9",
122   "-7.609960904339272d19" },
123
124 { "6.352601599408395d9", "-4.484034289922495d9",
125   "-2.848528340196373d19" },
126
127 { "-6.565407710101401d8", "-6.718825369609182d9",
128   "4.4111827884457016d18" },
129
130 { "-9.37193973536698d9", "9.577576231327314d9",
131   "-8.976046725088279d19" },
132
133 { "-1.7766859308675253d9", "-4.079350537765101d-11",
134   "0.0724772470752413d0" },
135
136 { "2.3810136983742104d9", "9.195156930614704d-11",
137   "0.2189379461049417d0" },
138
139 { "-3.313966320976337d9", "-3.44704749912067d-11",
140   "0.11423399318891611d0" },
141
142 { "6.598963960681895d9", "-2.4298605961767928d-11",
143   "-0.1603456250365168d0" },
144
145 { "7.908258993705348d9", "1.528909719631646d-11",
146   "0.12091014040840486d0" },
147
148 { "-5.906667889594469d9", "5.917852809041966d-11",
149   "-0.3495479116251461d0" },
150
151 { "4.86261281419926d9", "-2.3925611132123714d19",
152   "-1.1634098327861323d29" },
153
154 { "-9.753392818607462d9", "-2.5653634777279775d18",
155   "2.502099772078992d28" },
156
157 { "1.5861252889272392d9", "5.12939252547053d19",
158   "8.135859201483165d28" },
159
160 { "-8.422142961023593d8", "1.0428099441045047d19",
161   "-8.782694430425161d27" },
162
163 { "-3.109042783121446d9", "-4.138252722536039d19",
164   "1.286600476173335d29" },
165
166 { "-6.459303282089468d8", "1.8408981660472957d19",
167   "-1.189091956594178d28" },
168
169 { "-1.432764110232635d9", "8.98766033001457d-21",
170   "-1.2877197155806476d-11" },
171
172 { "8.539623949953406d9", "-3.498784805440049d-21",
173   "-2.987830652026891d-11" },
174
175 { "7.336784327799637d9", "-1.048985206018761d-21",
176   "-7.696178219612119d-12" },
177
178 { "-4.320357143553698d9", "2.591531476439043d-21",
179   "-1.119634152697768d-11" },
180
181 { "-9.374098076239548d9", "5.5773248420603045d-21",
182   "-5.228239007252054d-11" },
183
184 { "9.118926580475056d9", "-1.379170270330765d-21",
185   "-1.2576552437120181d-11" },
186
187 { "8.145792307872788d-11", "-0.06511382435429458d0",
188   "-5.304036895613926d-12" },
189
190 { "-6.1928426627437d-11", "0.2526275616632321d0",
191   "-1.5644827416529785d-11" },
192
193 { "-8.555119338859813d-11", "-0.8366318482083728d0",
194   "7.157485304113478d-11" },
195
196 { "8.243060442429263d-12", "0.3939656708074719d0",
197   "3.2474828367081808d-12" },
198
199 { "8.600529286105945d-11", "-0.891441509265547d0",
200   "-7.666868807288822d-11" },
201
202 { "-7.531046724969747d-11", "0.24398797995196886d0",
203   "-1.8374848773492595d-11" },
204
205 { "-3.7666526619188126d-12", "4.659322150343885d9",
206   "-0.017550048180330083d0" },
207
208 { "3.032501107241211d-11", "-9.592046453776636d9",
209   "-0.2908789149178678d0" },
210
211 { "7.311626957349528d-11", "-9.061108567148174d9",
212   "-0.6625144566303135d0" },
213
214 { "4.898078204161461d-11", "8.88014689134599d9",
215   "0.4349565393825394d0" },
216
217 { "1.278207138618518d-11", "-4.279966992086118d9",
218   "-0.05470684362336102d0" },
219
220 { "-8.538580654966055d-11", "-5.191059833953482d8",
221   "0.0443242830769665d0" },
222
223 { "4.0761422500127225d-11", "1.527607426117321d-11",
224   "6.226745171030001d-22" },
225
226 { "-9.186363051001198d-11", "8.557763803549676d-11",
227   "-7.861472520412421d-21" },
228
229 { "-9.89183505930065d-11", "9.717968160611499d-11",
230   "-9.612853815630427d-21" },
231
232 { "7.440627873114725d-12", "-4.535521332601712d-11",
233   "-3.374712644646274d-22" },
234
235 { "8.701410920357686d-11", "-7.032883383151379d-12",
236   "-6.119600827175551d-22" },
237
238 { "9.866226673114161d-11", "-2.814669610817353d-11",
239   "-2.777016839025002d-21" },
240
241 { "5.192240545105114d-11", "-3.366056660574579d19",
242   "-1.747737587015645d9" },
243
244 { "-1.372355669576939d-11", "-4.819955130360066d19",
245   "6.61469275025609d8" },
246
247 { "3.637511103766519d-11", "-4.071776382810416d19",
248   "-1.4811131804527159d9" },
249
250 { "7.446388208685151d-13", "2.7760294268649034d19",
251   "2.0671392791169815d7" },
252
253 { "6.267855179410938d-11", "7.471751480940298d19",
254   "4.683185621908299d9" },
255
256 { "-4.336562006766369d-11", "8.143188451558233d19",
257   "-3.5313441652966094d9" },
258
259 { "-1.0432655006975122d-11", "-9.379512413340694d-21",
260   "9.785321714202411d-32" },
261
262 { "-8.167646898574611d-11", "-5.810795749825724d-21",
263   "4.746052788431461d-31" },
264
265 { "-4.33805459341994d-11", "-2.4289860591796017d-21",
266   "1.053707413137707d-31" },
267
268 { "-1.384613082275421d-11", "2.2174009100764947d-21",
269   "-3.070242308741339d-32" },
270
271 { "-4.910905591314494d-11", "-5.456657623752349d-21",
272   "2.679713043437427d-31" },
273
274 { "1.3653011366548008d-11", "-3.925911962906968d-21",
275   "-5.360052065363564d-32" },
276
277 { "7.641468950470222d19", "0.9034599537348024d0",
278   "6.903761184457755d19" },
279
280 { "5.146778093125584d19", "-0.2791459460022878d0",
281   "-1.436702239669392d19" },
282
283 { "-8.874303077863696d19", "-0.23153988023519345d0",
284   "2.054755071819369d19" },
285
286 { "7.10798162637783d19", "-0.4719034863212067d0",
287   "-3.354281310194779d19" },
288
289 { "-9.820386602197546d19", "0.03346146041258036d0",
290   "-3.286044775256677d18" },
291
292 { "-5.210458089116161d19", "0.11173798093222442d0",
293   "-5.822060666098161d18" },
294
295 { "3.257626718953688d18", "-6.150510855712356d9",
296   "-2.0036068498783283d28" },
297
298 { "-7.755105754004988d19", "5.514896832715505d9",
299   "-4.27686081601359d29" },
300
301 { "2.426235084788384d19", "8.685431434428486d9",
302   "2.1072898472734294d29" },
303
304 { "-2.847383850475709d19", "-2.412830829567453d9",
305   "6.870255538040273d28" },
306
307 { "1.4664659669727164d19", "-4.8673539253155d9",
308   "-7.1378088806862425d28" },
309
310 { "-4.24770317054668d19", "1.3102543269150825d9",
311   "-5.5655714586597015d28" },
312
313 { "2.17116835964837d19", "-3.654789326884115d-11",
314   "-7.935162947711353d8" },
315
316 { "-1.8125809977916906d17", "-5.944782899600832d-11",
317   "1.0775400519813456d7" },
318
319 { "-7.915462827540546d19", "9.762153025588201d-11",
320   "-7.727195939080587d9" },
321
322 { "-4.360953588949649d19", "-7.152431005584812d-11",
323   "3.119141966351983d9" },
324
325 { "3.550776271395866d19", "-6.387656982922894d-11",
326   "-2.268114084477872d9" },
327
328 { "-8.278954580496595d19", "-7.359178231519021d-11",
329   "6.092630232852524d9" },
330
331 { "-5.5022682113038156d19", "-8.979630229039327d19",
332   "4.940833395850589d39" },
333
334 { "1.1716230943203277d19", "5.5764415854118265d19",
335   "6.533487745596758d38" },
336
337 { "7.462799608352103d19", "6.061883497941003d19",
338   "4.523862179431019d39" },
339
340 { "-3.2160334983646097d19", "-3.8817785710003675d19",
341   "1.2483929917571087d39" },
342
343 { "5.868090263060238d19", "-8.37300331667736d19",
344   "-4.91335392351655d39" },
345
346 { "-7.3652924769962656d19", "9.725738480757314d19",
347   "-7.163290846555493d39" },
348
349 { "-6.447063647969567d19", "4.0587529685661844d-21",
350   "-0.2616703871973161d0" },
351
352 { "-3.1999317568381926d17", "3.015031281949113d-21",
353   "-9.647894346969533d-4" },
354
355 { "-1.5005852398726605d19", "5.391316601974659d-21",
356   "-0.080901301164036d0" },
357
358 { "1.0084552719733576d19", "2.78150956101201d-21",
359   "0.02805027980846861d0" },
360
361 { "-7.171404412051077d19", "1.4733392992015492d-21",
362   "-0.10565911950742231d0" },
363
364 { "-5.909802783283228d19", "5.356071274587122d-21",
365   "-0.31653324926018317d0" },
366
367 { "8.272641144282955d-22", "-0.16191056182923802d0",
368   "-1.3394279754825238d-22" },
369
370 { "8.410471541398583d-21", "-0.43256058128353736d0",
371   "-3.63803845881602d-21" },
372
373 { "-7.887238384137063d-22", "0.5589746137044918d0",
374   "-4.408766028968254d-22" },
375
376 { "4.778995446616728d-21", "0.21608373898977795d0",
377   "1.0326632047200663d-21" },
378
379 { "3.992449163872154d-21", "0.9593422165456676d0",
380   "3.830125030315009d-21" },
381
382 { "-9.700320218813958d-21", "-0.42620535269852766d0",
383   "4.134328400148262d-21" },
384
385 { "-1.7901566262876555d-21", "9.461674014776534d8",
386   "-1.6937878433325936d-12" },
387
388 { "1.0928019952544443d-22", "8.279199780524873d9",
389   "9.047526039267738d-13" },
390
391 { "9.942869097320962d-21", "9.523169242022762d9",
392   "9.468762516506561d-11" },
393
394 { "-2.7432601692209267d-21", "-4.922145522647528d9",
395   "1.3502725759388083d-11" },
396
397 { "-5.97929682563092d-21", "-6.147792689359443d8",
398   "3.6759477312123895d-12" },
399
400 { "-1.3564305221188254d-21", "1.0862842413758955d9",
401   "-1.473469100698958d-12" },
402
403 { "-5.446806293721964d-21", "-1.5358504316888942d-11",
404   "8.365479797538665d-32" },
405
406 { "-1.0222776562632463d-21", "-1.9781477525280056d-11",
407   "2.0222162481967376d-32" },
408
409 { "8.192540157543917d-21", "3.3215076993103644d-11",
410   "2.7211585210191467d-31" },
411
412 { "9.685592607330157d-21", "6.034805605641166d-11",
413   "5.8450668560672665d-31" },
414
415 { "6.671870463340688d-21", "-9.07657686679269d-11",
416   "-6.055774510579552d-31" },
417
418 { "-1.109409648670322d-21", "-4.7905821901849965d-11",
419   "5.314718104539439d-32" },
420
421 { "-3.9052432481663676d-22", "2.0306112771345453d19",
422   "-0.007930030979680168d0" },
423
424 { "8.596834841113507d-21", "-9.453548987989818d19",
425   "-0.8127059931212419d0" },
426
427 { "3.946325780779758d-21", "-9.084484011754447d19",
428   "-0.35850333460668093d0" },
429
430 { "5.3518824877647604d-21", "-6.814116447592617d19",
431   "-0.36468350485460743d0" },
432
433 { "-7.456278485417833d-22", "9.61914445493285d19",
434   "-0.07172301984744206d0" },
435
436 { "-5.0781537010216826d-21", "9.216915512986622d19",
437   "-0.4680491362427718d0" },
438
439 { "3.2906792172396555d-22", "4.571445785546992d-21",
440   "1.50431616392373d-42" },
441
442 { "5.39814714322422d-21", "6.687033308557664d-21",
443   "3.6097589751235757d-41" },
444
445 { "4.3506183844841724d-21", "7.266196706225928d-21",
446   "3.1612448975384865d-41" },
447
448 { "6.910763289107986d-21", "3.910584203890238d-21",
449   "2.702512175521024d-41" },
450
451 { "-4.6131515924393325d-21", "5.228174479773633d-21",
452   "-2.411836142691841d-41" },
453
454 { "-2.1886866436065787d-21", "6.29322016055891d-22",
455   "-1.3773886910690934d-42" },
456
457 };