home *** CD-ROM | disk | FTP | other *** search
/ ftp.cs.arizona.edu / ftp.cs.arizona.edu.tar / ftp.cs.arizona.edu / icon / historic / v941.tgz / icon.v941src.tar / icon.v941src / tests / general / lgint.std < prev    next >
Text File  |  2001-12-06  |  17KB  |  414 lines
  1.  
  2.     a =  1618033988749894848204586834365638117720309
  3.     b = -2718281828459045235360287471352662497757247
  4.     c =  3141592653589793238462643383279502884197169
  5. a + b = -1100247839709150387155700636987024380036938
  6. b + c =   423310825130748003102355911926840386439922
  7. c + a =  4759626642339688086667230217645141001917478
  8.  
  9. minint = -18446744073709551616
  10. maxint = 18446744073709551615
  11. -minint = 18446744073709551616
  12. abs(min) = 18446744073709551616
  13. minint * -1 = 18446744073709551616
  14. minint / -1 = 18446744073709551616
  15. (2^32)^2 = 18446744073709551616
  16.  
  17. 1! = 1
  18. 12! = 479001600
  19. 23! = 25852016738884976640000
  20. 34! = 295232799039604140847618609643520000000
  21. 45! = 119622220865480194561963161495657715064383733760000000000
  22.  
  23. F(35) = 9227465
  24. F(69) = 117669030460994
  25. F(103) = 1500520536206896083277
  26. F(137) = 19134702400093278081449423917
  27. F(171) = 244006547798191185585064349218729154
  28. F(205) = 3111581989804070186099320645726169127737705
  29. F(239) = 39679027332006820581608740953902289877834488152161
  30. F(273) = 505988662735923140767969869749836918999964413630219877218
  31. F(307) = 6452389184720949856740872794933738025334109298792472139250504213
  32. F(341) = 82281144336295989585340713815384441479925901307982452831610787275979941
  33.  
  34. M(61) = 2305843009213693951
  35. M(89) = 618970019642690137449562111
  36. M(107) = 162259276829213363391578010288127
  37. M(127) = 170141183460469231731687303715884105727
  38.  
  39. P(31) = 2305843008139952128
  40. P(61) = 2658455991569831744654692615953842176
  41. P(89) = 191561942608236107294793378084303638130997321548169216
  42. P(107) = 13164036458569648337239753460458722910223472318386943117783728128
  43.  
  44. 11213 ^ 2 = 125731369
  45. 11213 ^ 3 = 1409825840597
  46. 11213 ^ 4 = 15808377150614161
  47. 11213 ^ 5 = 177259332989836587293
  48. 11213 ^ 6 = 1987608900815037653316409
  49. 11213 ^ 7 = 22287058604839017206636894117
  50. 11213 ^ 8 = 249904788136059899938019493733921
  51. 11213 ^ 9 = 2802182389369639658005012583238456173
  52. 11213 ^ 10 = 31420871132001769485210206095852809067849
  53. 11213 ^ 11 = 352322228003135841237662040952797548077790837
  54. 11213 ^ 12 = 3950589142599162187797904465203718906596268655281
  55. 11213 ^ 13 = 44297956055964405611777902768329300099663960431665853
  56. 11213 ^ 14 = 496712981255528880124865623741276442017531988320269209689
  57. 11213 ^ 15 = 5569642658818245332840118239010932744342586185035178648242757
  58. 11213 ^ 16 = 62452403133328984917136245814029588862313418892799458182746034241
  59.  
  60. 3 ^ 60 = 42391158275216203514294433201
  61. 3 ^ 61 = 127173474825648610542883299603
  62. 3 ^ 62 = integer(~10^30)
  63. 3 ^ 63 = integer(~10^30)
  64. 3 ^ 64 = integer(~10^31)
  65. 3 ^ 65 = integer(~10^31)
  66. 3 ^ 66 = integer(~10^31)
  67. 3 ^ 67 = integer(~10^32)
  68. 3 ^ 68 = integer(~10^32)
  69. 3 ^ 69 = integer(~10^33)
  70. 3 ^ 70 = integer(~10^33)
  71. 3 ^ 71 = integer(~10^34)
  72. 3 ^ 72 = integer(~10^34)
  73. 3 ^ 73 = integer(~10^35)
  74. 3 ^ 74 = integer(~10^35)
  75. 3 ^ 75 = integer(~10^36)
  76.  
  77.  2 ^ 63 =   9223372036854775808
  78.  3 ^ 40 =  12157665459056928801
  79.  5 ^ 28 =  37252902984619140625
  80.  7 ^ 23 =  27368747340080916343
  81. 11 ^ 19 =  61159090448414546291
  82. 13 ^ 18 = 112455406951957393129
  83. 17 ^ 16 =  48661191875666868481
  84. 19 ^ 15 =  15181127029874798299
  85. 23 ^ 14 =  11592836324538749809
  86. 29 ^ 13 =  10260628712958602189
  87. 31 ^ 13 =  24417546297445042591
  88. 37 ^ 13 = 243569224216081305397
  89. 41 ^ 12 =  22563490300366186081
  90. 43 ^ 12 =  39959630797262576401
  91. 47 ^ 12 = 116191483108948578241
  92. 53 ^ 11 =   9269035929372191597
  93. 59 ^ 11 =  30155888444737842659
  94. 61 ^ 11 =  43513917611435838661
  95. 67 ^ 11 = 122130132904968017083
  96. 71 ^ 11 = 231122292121701565271
  97. 73 ^ 11 = 313726685568359708377
  98. 79 ^ 10 =   9468276082626847201
  99. 83 ^ 10 =  15516041187205853449
  100. 89 ^ 10 =  31181719929966183601
  101. 97 ^ 10 =  73742412689492826049
  102.  
  103.        v = 3
  104.   -2 ^ v = -8
  105.   -1 ^ v = -1
  106.    0 ^ v = 0
  107.    1 ^ v = 1
  108.    2 ^ v = 8
  109. -1.5 ^ v = -3.375
  110. -1.0 ^ v = -1.0
  111. -0.5 ^ v = -0.125
  112.  0.0 ^ v = 0.0
  113.  0.5 ^ v = 0.125
  114.  1.0 ^ v = 1.0
  115.  1.5 ^ v = 3.375
  116.        v = 6
  117.   -2 ^ v = 64
  118.   -1 ^ v = 1
  119.    0 ^ v = 0
  120.    1 ^ v = 1
  121.    2 ^ v = 64
  122. -1.5 ^ v = 11.390625
  123. -1.0 ^ v = 1.0
  124. -0.5 ^ v = 0.015625
  125.  0.0 ^ v = 0.0
  126.  0.5 ^ v = 0.015625
  127.  1.0 ^ v = 1.0
  128.  1.5 ^ v = 11.390625
  129.        v = -7
  130.   -2 ^ v = 0
  131.   -1 ^ v = -1
  132.    0 ^ v = error 204
  133.    1 ^ v = 1
  134.    2 ^ v = 0
  135. -1.5 ^ v = -0.05852766347
  136. -1.0 ^ v = -1.0
  137. -0.5 ^ v = -128.0
  138.  0.0 ^ v = error 204
  139.  0.5 ^ v = 128.0
  140.  1.0 ^ v = 1.0
  141.  1.5 ^ v = 0.05852766347
  142.  
  143. 2 ^ 84 = 19342813113834066795298816
  144. 3 ^ 53 = 19383245667680019896796723
  145. 5 ^ 36 = 14551915228366851806640625
  146. 7 ^ 30 = 22539340290692258087863249
  147. 10 ^ 25 = 10000000000000000000000000
  148. 17 ^ 21 = 69091933913008732880827217
  149. 51 ^ 15 = 41072642160770556400888251
  150. -3 ^ 54 = 58149737003040059690390169
  151. -11 ^ 26 = 1191817653772720942460132761
  152. -43 ^ 16 = 136614025729312093462315201
  153.  
  154. 9 ^ 27 = 58149737003040059690390169
  155. 27 ^ 18 = 58149737003040059690390169
  156. 81 ^ 14 = 523347633027360537213511521
  157. 243 ^ 11 = 174449211009120179071170507
  158. 729 ^ 9 = 58149737003040059690390169
  159. 2187 ^ 8 = 523347633027360537213511521
  160. 6561 ^ 7 = 523347633027360537213511521
  161. 19683 ^ 6 = 58149737003040059690390169
  162. 59049 ^ 6 = 42391158275216203514294433201
  163. 177147 ^ 5 = 174449211009120179071170507
  164. 531441 ^ 5 = 42391158275216203514294433201
  165. 1594323 ^ 5 = 10301051460877537453973547267843
  166. 4782969 ^ 4 = 523347633027360537213511521
  167. 14348907 ^ 4 = 42391158275216203514294433201
  168. 43046721 ^ 4 = 3433683820292512484657849089281
  169. 129140163 ^ 4 = 278128389443693511257285776231761
  170. 387420489 ^ 3 = 58149737003040059690390169
  171. 1162261467 ^ 3 = 1570042899082081611640534563
  172. 3486784401 ^ 3 = 42391158275216203514294433201
  173. 10460353203 ^ 3 = 1144561273430837494885949696427
  174. 31381059609 ^ 3 = 30903154382632612361920641803529
  175. 94143178827 ^ 3 = 834385168331080533771857328695283
  176. 282429536481 ^ 3 = 22528399544939174411840147874772641
  177. 847288609443 ^ 3 = 608266787713357709119683992618861307
  178. 2541865828329 ^ 3 = 16423203268260658146231467800709255289
  179. 7625597484987 ^ 2 = 58149737003040059690390169
  180. 22876792454961 ^ 2 = 523347633027360537213511521
  181. 68630377364883 ^ 2 = 4710128697246244834921603689
  182. 205891132094649 ^ 2 = 42391158275216203514294433201
  183. 617673396283947 ^ 2 = 381520424476945831628649898809
  184. 1853020188851841 ^ 2 = 3433683820292512484657849089281
  185. 5559060566555523 ^ 2 = 30903154382632612361920641803529
  186. 16677181699666569 ^ 2 = 278128389443693511257285776231761
  187. 50031545098999707 ^ 2 = 2503155504993241601315571986085849
  188. 150094635296999121 ^ 2 = 22528399544939174411840147874772641
  189. 450283905890997363 ^ 2 = 202755595904452569706561330872953769
  190. 1350851717672992089 ^ 2 = 1824800363140073127359051977856583921
  191. 4052555153018976267 ^ 2 = 16423203268260658146231467800709255289
  192. 12157665459056928801 ^ 2 = 147808829414345923316083210206383297601
  193. 36472996377170786403 ^ 2 = 1330279464729113309844748891857449678409
  194. 109418989131512359209 ^ 2 = 11972515182562019788602740026717047105681
  195. 328256967394537077627 ^ 2 = 107752636643058178097424660240453423951129
  196. 984770902183611232881 ^ 2 = 969773729787523602876821942164080815560161
  197. 2954312706550833698643 ^ 2 = 8727963568087712425891397479476727340041449
  198. 8862938119652501095929 ^ 2 = 78551672112789411833022577315290546060373041
  199. 26588814358957503287787 ^ 2 = 706965049015104706497203195837614914543357369
  200. 79766443076872509863361 ^ 2 = 6362685441135942358474828762538534230890216321
  201. 239299329230617529590083 ^ 2 = 57264168970223481226273458862846808078011946889
  202. 717897987691852588770249 ^ 2 = 515377520732011331036461129765621272702107522001
  203.  
  204. conv ok: 787
  205. conv ok: 619369
  206. conv ok: 487443403
  207. conv ok: 383617958161
  208. conv ok: 301907333072707
  209. conv ok: 237601071128220409
  210. conv ok: 186992042977909461883
  211. conv ok: 147162737823614746501921
  212. conv ok: 115817074667184805497011827
  213. conv ok: 91148037763074441926148307849
  214. conv ok: 71733505719539585795878718277163
  215. conv ok: 56454269001277654021356551284127281
  216. conv ok: 44429509704005513714807605860608170147
  217. conv ok: 34966024137052339293553585812298629905689
  218. conv ok: 27518260995860191024026672034279021735777243
  219. conv ok: 21656871403741970335908990890977590106056690241
  220. conv ok: 17043957794744930654360375831199363413466615219667
  221. conv ok: 13413594784464260424981615779153899006398226177877929
  222. conv ok: 10556499095373372954460531618194118518035404001989930123
  223. conv ok: 8307964788058844515160438383518771273693862949566075006801
  224. conv ok: 6538368288202310633431265007829272992397070141308501030352387
  225. conv ok: 5145695842815218468510405561161637845016494201209790310887328569
  226. conv ok: 4049662628295576934717689176634208984027980936352104974668327583803
  227. conv ok: 3187084488468619047622821382011122470430020996909106615063973808452961
  228. conv ok: -5781
  229. conv ok: 33419961
  230. conv ok: -193200794541
  231. conv ok: 1116893793241521
  232. conv ok: -6456763018729232901
  233. conv ok: 37326547011273695400681
  234. conv ok: -215784768272173233111336861
  235. conv ok: 1247451745381433460616638393441
  236. conv ok: -7211518540050066835824786552482421
  237. conv ok: 41689788680029436377903091059900875801
  238. conv ok: -241008668359250171700657769417286963005581
  239. conv ok: 1393271111784825242601502565001335933135263761
  240. conv ok: -8054500297228074727479286328272723029454959802341
  241. conv ok: 46563066218275499999557754263744611833279122617333321
  242. conv ok: -269181085807850665497443377398707601008186607850803928701
  243. conv ok: 1556135857055184697240720164741928641428326779985497511820481
  244. conv ok: -8996021389636022734748603272373089476097157115096161115834200661
  245. conv ok: 52005999653485847429581675517588830261317665282370907410637514021241
  246.  
  247. 2R1111111111111111111111111111111111111111111111111111111111111111 = 18446744073709551615
  248. 3R2222222222222222222222222222222222222222 = 12157665459056928800
  249. 4R33333333333333333333333333333333 = 18446744073709551615
  250. 5R4444444444444444444444444444 = 37252902984619140624
  251. 6R5555555555555555555555555 = 28430288029929701375
  252. 7R66666666666666666666666 = 27368747340080916342
  253. 8R7777777777777777777777 = 73786976294838206463
  254. 9R88888888888888888888 = 12157665459056928800
  255. 10R9999999999999999999 = 9999999999999999999
  256. 11Raaaaaaaaaaaaaaaaaaa = 61159090448414546290
  257. 12Rbbbbbbbbbbbbbbbbbb = 26623333280885243903
  258. 13Rcccccccccccccccccc = 112455406951957393128
  259. 14Rddddddddddddddddd = 30491346729331195903
  260. 15Reeeeeeeeeeeeeeeee = 98526125335693359374
  261. 16Rffffffffffffffff = 18446744073709551615
  262. 17Rgggggggggggggggg = 48661191875666868480
  263. 18Rhhhhhhhhhhhhhhhh = 121439531096594251775
  264. 19Riiiiiiiiiiiiiii = 15181127029874798298
  265. 20Rjjjjjjjjjjjjjjj = 32767999999999999999
  266. 21Rkkkkkkkkkkkkkkk = 68122318582951682300
  267. 22Rlllllllllllllll = 136880068015412051967
  268. 23Rmmmmmmmmmmmmmm = 11592836324538749808
  269. 24Rnnnnnnnnnnnnnn = 21035720123168587775
  270. 25Roooooooooooooo = 37252902984619140624
  271. 26Rpppppppppppppp = 64509974703297150975
  272. 27Rqqqqqqqqqqqqqq = 109418989131512359208
  273. 28Rrrrrrrrrrrrrrr = 182059119829942534143
  274. 29Rsssssssssssss = 10260628712958602188
  275. 30Rttttttttttttt = 15943229999999999999
  276. 31Ruuuuuuuuuuuuu = 24417546297445042590
  277. 32Rvvvvvvvvvvvvv = 36893488147419103231
  278. 33Rwwwwwwwwwwwww = 55040353993448503712
  279. 34Rxxxxxxxxxxxxx = 81138303245565435903
  280. 35Ryyyyyyyyyyyyy = 118272717781982421874
  281. 36rZZZZZZZZZZ = 3656158440062975
  282. 36rZZZZZZZZZZZ = 131621703842267135
  283. 36rZZZZZZZZZZZZ = 4738381338321616895
  284. 36rZZZZZZZZZZZZZ = 170581728179578208255
  285. 36rZZZZZZZZZZZZZZ = 6140942214464815497215
  286. 36rZZZZZZZZZZZZZZZ = 221073919720733357899775
  287. 36rZZZZZZZZZZZZZZZZ = 7958661109946400884391935
  288. 36rZZZZZZZZZZZZZZZZZ = 286511799958070431838109695
  289. 36rZZZZZZZZZZZZZZZZZZ = 10314424798490535546171949055
  290. 36rZZZZZZZZZZZZZZZZZZZ = 371319292745659279662190166015
  291. 36rZZZZZZZZZZZZZZZZZZZZ = 13367494538843734067838845976575
  292.  
  293. 110000
  294. 1073851824
  295. 2147703648
  296. 1000000000
  297. 2073741824
  298. 4300405152606846976
  299. -110000
  300. -1073851824
  301. -2147593648
  302.  
  303. u:  37  -37  -38  ~= > >=
  304. u:  5.0  -5.0  -6 
  305. u:  9223372036854775808  -9223372036854775808  -9223372036854775809  ~= > >=
  306. u:  61159090448414546291  -61159090448414546291  -61159090448414546292  ~= > >=
  307. u:  37252902984619140625  -37252902984619140625  -37252902984619140626  ~= > >=
  308. u:  73  -73  -74  ~= > >=
  309. u:  9.0  -9.0  -10 
  310. u:  -27368747340080916343  27368747340080916343  27368747340080916342  < <= ~=
  311. u:  -12157665459056928801  12157665459056928801  12157665459056928800  < <= ~=
  312. u:  48661191875666868481  -48661191875666868481  -48661191875666868482  ~= > >=
  313.  
  314. b:  37  73  < <= ~=
  315.     +-   110  -36
  316.     */%  2701  0  37
  317.     &|!  1  109  108
  318. b:  37  9.0  ~= > >=
  319.     +-   46.0  28.0
  320.     */%  333.0  4.111111111  1.0
  321.     &|!  1  45  44
  322. b:  37  -27368747340080916343  ~= > >=
  323.     +-   -27368747340080916306  27368747340080916380
  324.     */%  -1012643651582993904691  0  37
  325.     &|!  1  -27368747340080916307  -27368747340080916308
  326. b:  37  -12157665459056928801  ~= > >=
  327.     +-   -12157665459056928764  12157665459056928838
  328.     */%  -449833621985106365637  0  37
  329.     &|!  5  -12157665459056928769  -12157665459056928774
  330. b:  37  48661191875666868481  < <= ~=
  331.     +-   48661191875666868518  -48661191875666868444
  332.     */%  1800464099399674133797  0  37
  333.     &|!  1  48661191875666868517  48661191875666868516
  334. b:  5.0  73 
  335.     +-   78.0  -68.0
  336.     */%  365.0  0.06849315068  5.0
  337.     &|!  1  77  76
  338. b:  5.0  9.0  < <= ~=
  339.     +-   14.0  -4.0
  340.     */%  45.0  0.5555555556  5.0
  341.     &|!  1  13  12
  342. b:  5.0  -27368747340080916343 
  343.     +-   -2.736874734e+19  2.736874734e+19
  344.     */%  -1.368437367e+20  -1.826901297e-19  5.0
  345.     &|!  1  -27368747340080916339  -27368747340080916340
  346. b:  5.0  -12157665459056928801 
  347.     +-   -1.215766546e+19  1.215766546e+19
  348.     */%  -6.07883273e+19  -4.11263167e-19  5.0
  349.     &|!  5  -12157665459056928801  -12157665459056928806
  350. b:  5.0  48661191875666868481 
  351.     +-   4.866119188e+19  -4.866119188e+19
  352.     */%  2.433059594e+20  1.027512851e-19  5.0
  353.     &|!  1  48661191875666868485  48661191875666868484
  354. b:  9223372036854775808  73  ~= > >=
  355.     +-   9223372036854775881  9223372036854775735
  356.     */%  673306158690398633984  126347562148695559  1
  357.     &|!  0  9223372036854775881  9223372036854775881
  358. b:  9223372036854775808  9.0  ~= > >=
  359.     +-   9.223372037e+18  9.223372037e+18
  360.     */%  8.301034833e+19  1.024819115e+18  8.0
  361.     &|!  0  9223372036854775817  9223372036854775817
  362. b:  9223372036854775808  -27368747340080916343  ~= > >=
  363.     +-   -18145375303226140535  36592119376935692151
  364.     */%  -252432138900245848896847100400468230144  0  9223372036854775808
  365.     &|!  9223372036854775808  -27368747340080916343  -36592119376935692151
  366. b:  9223372036854775808  -12157665459056928801  ~= > >=
  367.     +-   -2934293422202152993  21381037495911704609
  368.     */%  -112134671628500858351345486069873246208  0  9223372036854775808
  369.     &|!  0  -2934293422202152993  -2934293422202152993
  370. b:  9223372036854775808  48661191875666868481  < <= ~=
  371.     +-   57884563912521644289  -39437819838812092673
  372.     */%  448820276426050593203111380360676507648  0  9223372036854775808
  373.     &|!  9223372036854775808  48661191875666868481  39437819838812092673
  374. b:  61159090448414546291  73  ~= > >=
  375.     +-   61159090448414546364  61159090448414546218
  376.     */%  4464613602734261879243  837795759567322551  68
  377.     &|!  65  61159090448414546299  61159090448414546234
  378. b:  61159090448414546291  9.0  ~= > >=
  379.     +-   6.115909045e+19  6.115909045e+19
  380.     */%  5.50431814e+20  6.795454494e+18  5.0
  381.     &|!  1  61159090448414546299  61159090448414546298
  382. b:  61159090448414546291  -27368747340080916343  ~= > >=
  383.     +-   33790343108333629948  88527837788495462634
  384.     */%  -1673847694031813790959405051173871933813  -2  6421595768252713605
  385.     &|!  36893677298903685121  -3103334190570055173  -39997011489473740294
  386. b:  61159090448414546291  -12157665459056928801  ~= > >=
  387.     +-   49001424989357617490  73316755907471475092
  388.     */%  -743551761452028064444726055040305627091  -5  370763153129902286
  389.     &|!  61122863661437686099  -12121438672080068609  -73244302333517754708
  390. b:  61159090448414546291  48661191875666868481  ~= > >=
  391.     +-   109820282324081414772  12497898572747677810
  392.     */%  2976074235251565096354096402968383353971  1  12497898572747677810
  393.     &|!  36911511549794588929  72908770774286825843  35997259224492236914
  394. b:  37252902984619140625  73  ~= > >=
  395.     +-   37252902984619140698  37252902984619140552
  396.     */%  2719461917877197265625  510313739515330693  36
  397.     &|!  1  37252902984619140697  37252902984619140696
  398. b:  37252902984619140625  9.0  ~= > >=
  399.     +-   3.725290298e+19  3.725290298e+19
  400.     */%  3.352761269e+20  4.139211443e+18  8.0
  401.     &|!  1  37252902984619140633  37252902984619140632
  402. b:  37252902984619140625  -27368747340080916343  ~= > >=
  403.     +-   9884155644538224282  64621650324700056968
  404.     */%  -1019565289470587534569203853607177734375  -1  9884155644538224282
  405.     &|!  37194285120097353729  -27310129475559129447  -64504414595656483176
  406. b:  37252902984619140625  -12157665459056928801  ~= > >=
  407.     +-   25095237525562211824  49410568443676069426
  408.     */%  -452908331865702897347509860992431640625  -3  779906607448354222
  409.     &|!  37200930984991655441  -12105693459429443617  -49306624444421099058
  410. b:  37252902984619140625  48661191875666868481  < <= ~=
  411.     +-   85914094860286009106  -11408288891047727856
  412.     */%  1812770660060154962576925754547119140625  0  37252902984619140625
  413.     &|!  36914950757738881025  48999144102547128081  12084193344808247056
  414.