| Georg Brandl | faa9ad2 | 2011-03-05 15:06:13 +0100 | [diff] [blame] | 1 | ------------------------------------------------------------------------ |
| 2 | -- log10.decTest -- decimal logarithm in base 10 -- |
| 3 | -- Copyright (c) IBM Corporation, 2005, 2008. All rights reserved. -- |
| 4 | ------------------------------------------------------------------------ |
| 5 | -- Please see the document "General Decimal Arithmetic Testcases" -- |
| 6 | -- at http://www2.hursley.ibm.com/decimal for the description of -- |
| 7 | -- these testcases. -- |
| 8 | -- -- |
| 9 | -- These testcases are experimental ('beta' versions), and they -- |
| 10 | -- may contain errors. They are offered on an as-is basis. In -- |
| 11 | -- particular, achieving the same results as the tests here is not -- |
| 12 | -- a guarantee that an implementation complies with any Standard -- |
| 13 | -- or specification. The tests are not exhaustive. -- |
| 14 | -- -- |
| 15 | -- Please send comments, suggestions, and corrections to the author: -- |
| 16 | -- Mike Cowlishaw, IBM Fellow -- |
| 17 | -- IBM UK, PO Box 31, Birmingham Road, Warwick CV34 5JL, UK -- |
| 18 | -- mfc@uk.ibm.com -- |
| 19 | ------------------------------------------------------------------------ |
| 20 | version: 2.59 |
| 21 | |
| 22 | -- This emphasises the testing of notable cases, as they will often |
| 23 | -- have unusual paths (especially the 10**n results). |
| 24 | |
| 25 | extended: 1 |
| 26 | precision: 16 |
| 27 | rounding: half_even |
| 28 | maxExponent: 384 |
| 29 | minexponent: -383 |
| 30 | |
| 31 | -- examples in specification |
| 32 | precision: 9 |
| 33 | logxs000 log10 0 -> -Infinity |
| 34 | logxs001 log10 0.001 -> -3 |
| 35 | logxs002 log10 1 -> 0 |
| 36 | logxs003 log10 2 -> 0.301029996 Inexact Rounded |
| 37 | logxs004 log10 10 -> 1 |
| 38 | logxs005 log10 70 -> 1.84509804 Inexact Rounded |
| 39 | logxs006 log10 +Infinity -> Infinity |
| 40 | |
| 41 | |
| 42 | -- basics (examples in specification, etc.) |
| 43 | precision: 16 |
| 44 | logx0000 log10 0 -> -Infinity |
| 45 | logx0001 log10 7E-1000 -> -999.1549019599857 Inexact Rounded |
| 46 | logx0002 log10 1.1E-9 -> -8.958607314841775 Inexact Rounded |
| 47 | logx0003 log10 0.0007 -> -3.154901959985743 Inexact Rounded |
| 48 | logx0004 log10 0.11 -> -0.9586073148417750 Inexact Rounded |
| 49 | logx0005 log10 0.7 -> -0.1549019599857432 Inexact Rounded |
| 50 | logx0006 log10 1 -> 0 |
| 51 | logx0007 log10 1.5 -> 0.1760912590556812 Inexact Rounded |
| 52 | logx0008 log10 2 -> 0.3010299956639812 Inexact Rounded |
| 53 | logx0009 log10 2.718281828459045 -> 0.4342944819032518 Inexact Rounded |
| 54 | logx0010 log10 2.718281828459046 -> 0.4342944819032519 Inexact Rounded |
| 55 | logx0011 log10 2.718281828459047 -> 0.4342944819032521 Inexact Rounded |
| 56 | logx0012 log10 7 -> 0.8450980400142568 Inexact Rounded |
| 57 | logx0013 log10 10 -> 1 |
| 58 | logx0014 log10 10.5 -> 1.021189299069938 Inexact Rounded |
| 59 | logx0015 log10 11 -> 1.041392685158225 Inexact Rounded |
| 60 | logx0016 log10 70 -> 1.845098040014257 Inexact Rounded |
| 61 | logx0017 log10 9999 -> 3.999956568380192 Inexact Rounded |
| 62 | logx0018 log10 1.21E6 -> 6.082785370316450 Inexact Rounded |
| 63 | logx0019 log10 1.1E+9 -> 9.041392685158225 Inexact Rounded |
| 64 | logx0020 log10 7E+1000 -> 1000.845098040014 Inexact Rounded |
| 65 | logx0021 log10 +Infinity -> Infinity |
| 66 | |
| 67 | -- notable cases |
| 68 | -- negatives |
| 69 | logx0031 log10 -1E-9 -> NaN Invalid_operation |
| 70 | logx0032 log10 -0.0007 -> NaN Invalid_operation |
| 71 | logx0033 log10 -0.1 -> NaN Invalid_operation |
| 72 | logx0034 log10 -0.7 -> NaN Invalid_operation |
| 73 | logx0035 log10 -1 -> NaN Invalid_operation |
| 74 | logx0036 log10 -1.5 -> NaN Invalid_operation |
| 75 | logx0037 log10 -2 -> NaN Invalid_operation |
| 76 | logx0038 log10 -10.5 -> NaN Invalid_operation |
| 77 | logx0039 log10 -10.5 -> NaN Invalid_operation |
| 78 | logx0040 log10 -9999 -> NaN Invalid_operation |
| 79 | logx0041 log10 -10 -> NaN Invalid_operation |
| 80 | logx0042 log10 -0 -> -Infinity |
| 81 | logx0043 log10 -0E+17 -> -Infinity |
| 82 | logx0044 log10 -0E-17 -> -Infinity |
| 83 | -- other zeros |
| 84 | logx0051 log10 0 -> -Infinity |
| 85 | logx0052 log10 0E+17 -> -Infinity |
| 86 | logx0053 log10 0E-17 -> -Infinity |
| 87 | -- infinities |
| 88 | logx0055 log10 -Infinity -> NaN Invalid_operation |
| 89 | logx0056 log10 +Infinity -> Infinity |
| 90 | -- ones |
| 91 | logx0061 log10 1 -> 0 |
| 92 | logx0062 log10 1.0 -> 0 |
| 93 | logx0063 log10 1.000000000000000 -> 0 |
| 94 | logx0064 log10 1.000000000000000000 -> 0 |
| 95 | |
| 96 | -- notable cases -- exact powers of 10 |
| 97 | logx1100 log10 1 -> 0 |
| 98 | logx1101 log10 10 -> 1 |
| 99 | logx1102 log10 100 -> 2 |
| 100 | logx1103 log10 1000 -> 3 |
| 101 | logx1104 log10 10000 -> 4 |
| 102 | logx1105 log10 100000 -> 5 |
| 103 | logx1106 log10 1000000 -> 6 |
| 104 | logx1107 log10 10000000 -> 7 |
| 105 | logx1108 log10 100000000 -> 8 |
| 106 | logx1109 log10 1000000000 -> 9 |
| 107 | logx1110 log10 10000000000 -> 10 |
| 108 | logx1111 log10 100000000000 -> 11 |
| 109 | logx1112 log10 1000000000000 -> 12 |
| 110 | logx1113 log10 0.00000000001 -> -11 |
| 111 | logx1114 log10 0.0000000001 -> -10 |
| 112 | logx1115 log10 0.000000001 -> -9 |
| 113 | logx1116 log10 0.00000001 -> -8 |
| 114 | logx1117 log10 0.0000001 -> -7 |
| 115 | logx1118 log10 0.000001 -> -6 |
| 116 | logx1119 log10 0.00001 -> -5 |
| 117 | logx1120 log10 0.0001 -> -4 |
| 118 | logx1121 log10 0.001 -> -3 |
| 119 | logx1122 log10 0.01 -> -2 |
| 120 | logx1123 log10 0.1 -> -1 |
| 121 | logx1124 log10 1E-99 -> -99 |
| 122 | logx1125 log10 1E-100 -> -100 |
| 123 | logx1126 log10 1E-383 -> -383 |
| 124 | |
| 125 | -- check normally exact cases round properly |
| 126 | precision: 1 |
| 127 | logx1141 log10 10000000000 -> 1E+1 Rounded |
| 128 | logx1142 log10 1000000000000 -> 1E+1 Inexact Rounded |
| 129 | logx1143 log10 1E+100 -> 1E+2 Rounded |
| 130 | logx1144 log10 1E+123 -> 1E+2 Inexact Rounded |
| 131 | logx1145 log10 1E+126 -> 1E+2 Inexact Rounded |
| 132 | logx1146 log10 1E+916 -> 9E+2 Inexact Rounded |
| 133 | logx1147 log10 1E+999 -> 1E+3 Inexact Rounded |
| 134 | |
| 135 | precision: 2 |
| 136 | logx1151 log10 10000000000 -> 10 |
| 137 | logx1152 log10 1000000000000 -> 12 |
| 138 | logx1153 log10 1E+100 -> 1.0E+2 Rounded |
| 139 | logx1154 log10 1E+123 -> 1.2E+2 Inexact Rounded |
| 140 | logx1155 log10 1E+126 -> 1.3E+2 Inexact Rounded |
| 141 | logx1156 log10 1E+916 -> 9.2E+2 Inexact Rounded |
| 142 | logx1157 log10 1E+999 -> 1.0E+3 Inexact Rounded |
| 143 | -- some half-way point rounds, other cases, and negatives |
| 144 | logx1158 log10 1E+125 -> 1.2E+2 Inexact Rounded |
| 145 | logx1159 log10 1E+135 -> 1.4E+2 Inexact Rounded |
| 146 | logx1160 log10 1E+129 -> 1.3E+2 Inexact Rounded |
| 147 | logx1161 log10 1E+131 -> 1.3E+2 Inexact Rounded |
| 148 | logx1162 log10 1E-123 -> -1.2E+2 Inexact Rounded |
| 149 | logx1163 log10 1E-126 -> -1.3E+2 Inexact Rounded |
| 150 | logx1164 log10 1E-916 -> -9.2E+2 Inexact Rounded |
| 151 | logx1165 log10 1E-999 -> -1.0E+3 Inexact Rounded |
| 152 | logx1166 log10 1E-125 -> -1.2E+2 Inexact Rounded |
| 153 | logx1167 log10 1E-135 -> -1.4E+2 Inexact Rounded |
| 154 | logx1168 log10 1E-129 -> -1.3E+2 Inexact Rounded |
| 155 | logx1169 log10 1E-131 -> -1.3E+2 Inexact Rounded |
| 156 | |
| 157 | precision: 3 |
| 158 | logx1171 log10 10000000000 -> 10 |
| 159 | logx1172 log10 1000000000000 -> 12 |
| 160 | logx1173 log10 1E+100 -> 100 |
| 161 | logx1174 log10 1E+123 -> 123 |
| 162 | logx1175 log10 1E+126 -> 126 |
| 163 | logx1176 log10 1E+916 -> 916 |
| 164 | logx1177 log10 1E+999 -> 999 |
| 165 | |
| 166 | -- log10(2) .. tests both ln(2) and ln(10) constants, too |
| 167 | precision: 50 |
| 168 | logx1201 log10 2 -> 0.30102999566398119521373889472449302676818988146211 Inexact Rounded |
| 169 | logx1202 log10 2.000 -> 0.30102999566398119521373889472449302676818988146211 Inexact Rounded |
| 170 | logx1203 log10 0.2E1 -> 0.30102999566398119521373889472449302676818988146211 Inexact Rounded |
| 171 | precision: 49 |
| 172 | logx1204 log10 2 -> 0.3010299956639811952137388947244930267681898814621 Inexact Rounded |
| 173 | precision: 48 |
| 174 | logx1205 log10 2 -> 0.301029995663981195213738894724493026768189881462 Inexact Rounded |
| 175 | precision: 47 |
| 176 | logx1206 log10 2 -> 0.30102999566398119521373889472449302676818988146 Inexact Rounded |
| 177 | precision: 46 |
| 178 | logx1207 log10 2 -> 0.3010299956639811952137388947244930267681898815 Inexact Rounded |
| 179 | precision: 45 |
| 180 | logx1208 log10 2 -> 0.301029995663981195213738894724493026768189881 Inexact Rounded |
| 181 | precision: 44 |
| 182 | logx1209 log10 2 -> 0.30102999566398119521373889472449302676818988 Inexact Rounded |
| 183 | precision: 43 |
| 184 | logx1210 log10 2 -> 0.3010299956639811952137388947244930267681899 Inexact Rounded |
| 185 | precision: 42 |
| 186 | logx1211 log10 2 -> 0.301029995663981195213738894724493026768190 Inexact Rounded |
| 187 | precision: 41 |
| 188 | logx1212 log10 2 -> 0.30102999566398119521373889472449302676819 Inexact Rounded |
| 189 | precision: 40 |
| 190 | logx1213 log10 2 -> 0.3010299956639811952137388947244930267682 Inexact Rounded |
| 191 | precision: 39 |
| 192 | logx1214 log10 2 -> 0.301029995663981195213738894724493026768 Inexact Rounded |
| 193 | precision: 38 |
| 194 | logx1215 log10 2 -> 0.30102999566398119521373889472449302677 Inexact Rounded |
| 195 | precision: 37 |
| 196 | logx1216 log10 2 -> 0.3010299956639811952137388947244930268 Inexact Rounded |
| 197 | precision: 36 |
| 198 | logx1217 log10 2 -> 0.301029995663981195213738894724493027 Inexact Rounded |
| 199 | precision: 35 |
| 200 | logx1218 log10 2 -> 0.30102999566398119521373889472449303 Inexact Rounded |
| 201 | precision: 34 |
| 202 | logx1219 log10 2 -> 0.3010299956639811952137388947244930 Inexact Rounded |
| 203 | precision: 33 |
| 204 | logx1220 log10 2 -> 0.301029995663981195213738894724493 Inexact Rounded |
| 205 | precision: 32 |
| 206 | logx1221 log10 2 -> 0.30102999566398119521373889472449 Inexact Rounded |
| 207 | precision: 31 |
| 208 | logx1222 log10 2 -> 0.3010299956639811952137388947245 Inexact Rounded |
| 209 | precision: 30 |
| 210 | logx1223 log10 2 -> 0.301029995663981195213738894724 Inexact Rounded |
| 211 | precision: 29 |
| 212 | logx1224 log10 2 -> 0.30102999566398119521373889472 Inexact Rounded |
| 213 | precision: 28 |
| 214 | logx1225 log10 2 -> 0.3010299956639811952137388947 Inexact Rounded |
| 215 | precision: 27 |
| 216 | logx1226 log10 2 -> 0.301029995663981195213738895 Inexact Rounded |
| 217 | precision: 26 |
| 218 | logx1227 log10 2 -> 0.30102999566398119521373889 Inexact Rounded |
| 219 | precision: 25 |
| 220 | logx1228 log10 2 -> 0.3010299956639811952137389 Inexact Rounded |
| 221 | precision: 24 |
| 222 | logx1229 log10 2 -> 0.301029995663981195213739 Inexact Rounded |
| 223 | precision: 23 |
| 224 | logx1230 log10 2 -> 0.30102999566398119521374 Inexact Rounded |
| 225 | precision: 22 |
| 226 | logx1231 log10 2 -> 0.3010299956639811952137 Inexact Rounded |
| 227 | precision: 21 |
| 228 | logx1232 log10 2 -> 0.301029995663981195214 Inexact Rounded |
| 229 | precision: 20 |
| 230 | logx1233 log10 2 -> 0.30102999566398119521 Inexact Rounded |
| 231 | precision: 19 |
| 232 | logx1234 log10 2 -> 0.3010299956639811952 Inexact Rounded |
| 233 | precision: 18 |
| 234 | logx1235 log10 2 -> 0.301029995663981195 Inexact Rounded |
| 235 | precision: 17 |
| 236 | logx1236 log10 2 -> 0.30102999566398120 Inexact Rounded |
| 237 | precision: 16 |
| 238 | logx1237 log10 2 -> 0.3010299956639812 Inexact Rounded |
| 239 | precision: 15 |
| 240 | logx1238 log10 2 -> 0.301029995663981 Inexact Rounded |
| 241 | precision: 14 |
| 242 | logx1239 log10 2 -> 0.30102999566398 Inexact Rounded |
| 243 | precision: 13 |
| 244 | logx1240 log10 2 -> 0.3010299956640 Inexact Rounded |
| 245 | precision: 12 |
| 246 | logx1241 log10 2 -> 0.301029995664 Inexact Rounded |
| 247 | precision: 11 |
| 248 | logx1242 log10 2 -> 0.30102999566 Inexact Rounded |
| 249 | precision: 10 |
| 250 | logx1243 log10 2 -> 0.3010299957 Inexact Rounded |
| 251 | precision: 9 |
| 252 | logx1244 log10 2 -> 0.301029996 Inexact Rounded |
| 253 | precision: 8 |
| 254 | logx1245 log10 2 -> 0.30103000 Inexact Rounded |
| 255 | precision: 7 |
| 256 | logx1246 log10 2 -> 0.3010300 Inexact Rounded |
| 257 | precision: 6 |
| 258 | logx1247 log10 2 -> 0.301030 Inexact Rounded |
| 259 | precision: 5 |
| 260 | logx1248 log10 2 -> 0.30103 Inexact Rounded |
| 261 | precision: 4 |
| 262 | logx1249 log10 2 -> 0.3010 Inexact Rounded |
| 263 | precision: 3 |
| 264 | logx1250 log10 2 -> 0.301 Inexact Rounded |
| 265 | precision: 2 |
| 266 | logx1251 log10 2 -> 0.30 Inexact Rounded |
| 267 | precision: 1 |
| 268 | logx1252 log10 2 -> 0.3 Inexact Rounded |
| 269 | |
| 270 | maxExponent: 384 |
| 271 | minExponent: -383 |
| 272 | precision: 16 |
| 273 | rounding: half_even |
| 274 | |
| 275 | -- More close-to-e, etc., tests |
| 276 | precision: 34 |
| 277 | logx1301 log10 2.718281828459045235360287471352661 -> 0.4342944819032518276511289189166048 Inexact Rounded |
| 278 | logx1302 log10 2.718281828459045235360287471352662 -> 0.4342944819032518276511289189166050 Inexact Rounded |
| 279 | logx1303 log10 2.718281828459045235360287471352663 -> 0.4342944819032518276511289189166052 Inexact Rounded |
| 280 | logx1304 log10 0.99999999999999999999999999999999 -> -4.342944819032518276511289189166073E-33 Inexact Rounded |
| 281 | logx1305 log10 0.999999999999999999999999999999999 -> -4.342944819032518276511289189166053E-34 Inexact Rounded |
| 282 | logx1306 log10 0.9999999999999999999999999999999999 -> -4.342944819032518276511289189166051E-35 Inexact Rounded |
| 283 | logx1307 log10 1.000000000000000000000000000000000 -> 0 |
| 284 | logx1308 log10 1.0000000000000000000000000000000001 -> 4.342944819032518276511289189166051E-35 Inexact Rounded |
| 285 | logx1309 log10 1.000000000000000000000000000000001 -> 4.342944819032518276511289189166049E-34 Inexact Rounded |
| 286 | logx1310 log10 1.00000000000000000000000000000001 -> 4.342944819032518276511289189166029E-33 Inexact Rounded |
| 287 | -- lower p |
| 288 | precision: 7 |
| 289 | logx1320 log10 0.999999 -> -4.342947E-7 Inexact Rounded |
| 290 | logx1321 log10 0.9999999 -> -4.342945E-8 Inexact Rounded |
| 291 | logx1322 log10 0.99999999 -> -4.342945E-9 Inexact Rounded |
| 292 | logx1323 log10 0.999999999 -> -4.342945E-10 Inexact Rounded |
| 293 | logx1324 log10 1.00000000 -> 0 |
| 294 | logx1325 log10 1.00000001 -> 4.342945E-9 Inexact Rounded |
| 295 | logx1326 log10 1.0000001 -> 4.342945E-8 Inexact Rounded |
| 296 | logx1327 log10 1.000001 -> 4.342943E-7 Inexact Rounded |
| 297 | |
| 298 | -- near 10^3 |
| 299 | precision: 9 |
| 300 | logx1331 log10 999.9999998 -> 3.00000000 Inexact Rounded |
| 301 | logx1332 log10 999.9999999 -> 3.00000000 Inexact Rounded |
| 302 | logx1333 log10 1000.000000 -> 3 |
| 303 | logx1334 log10 1000.000001 -> 3.00000000 Inexact Rounded |
| 304 | logx1335 log10 1000.000002 -> 3.00000000 Inexact Rounded |
| 305 | precision: 16 |
| 306 | logx1341 log10 999.9999998 -> 2.999999999913141 Inexact Rounded |
| 307 | logx1342 log10 999.9999999 -> 2.999999999956571 Inexact Rounded |
| 308 | logx1343 log10 1000.000000 -> 3 |
| 309 | logx1344 log10 1000.000001 -> 3.000000000434294 Inexact Rounded |
| 310 | logx1345 log10 1000.000002 -> 3.000000000868589 Inexact Rounded |
| 311 | |
| 312 | -- suggestions from Ilan Nehama |
| 313 | logx1400 log10 10E-3 -> -2 |
| 314 | logx1401 log10 10E-2 -> -1 |
| 315 | logx1402 log10 100E-2 -> 0 |
| 316 | logx1403 log10 1000E-2 -> 1 |
| 317 | logx1404 log10 10000E-2 -> 2 |
| 318 | logx1405 log10 10E-1 -> 0 |
| 319 | logx1406 log10 100E-1 -> 1 |
| 320 | logx1407 log10 1000E-1 -> 2 |
| 321 | logx1408 log10 10000E-1 -> 3 |
| 322 | logx1409 log10 10E0 -> 1 |
| 323 | logx1410 log10 100E0 -> 2 |
| 324 | logx1411 log10 1000E0 -> 3 |
| 325 | logx1412 log10 10000E0 -> 4 |
| 326 | logx1413 log10 10E1 -> 2 |
| 327 | logx1414 log10 100E1 -> 3 |
| 328 | logx1415 log10 1000E1 -> 4 |
| 329 | logx1416 log10 10000E1 -> 5 |
| 330 | logx1417 log10 10E2 -> 3 |
| 331 | logx1418 log10 100E2 -> 4 |
| 332 | logx1419 log10 1000E2 -> 5 |
| 333 | logx1420 log10 10000E2 -> 6 |
| 334 | |
| 335 | -- Randoms |
| 336 | -- P=50, within 0-9999 |
| 337 | Precision: 50 |
| 338 | logx2501 log10 0.00035448001667968141775891246991912655961163345904 -> -3.4504082425411775290864053318247274944685586188505 Inexact Rounded |
| 339 | logx2502 log10 70.636455726424311228255338637935330826995136597644 -> 1.8490288998408492045793070255302335558140975719247 Inexact Rounded |
| 340 | logx2503 log10 0.00000000000000233550362473821889060812804063040169 -> -14.631619454343834858023578299142866557717904223667 Inexact Rounded |
| 341 | logx2504 log10 97.783628621523244679901260358286898958832135433764 -> 1.9902661493224219517897657964362571690592734407330 Inexact Rounded |
| 342 | logx2505 log10 0062.2377135315858392802612812022807838599572017342 -> 1.7940536293085066199287632725026837018486533544141 Inexact Rounded |
| 343 | logx2506 log10 6.3767634652071053619977602804724129652981747879532 -> 0.80460030789825961615100163576080761326857374098644 Inexact Rounded |
| 344 | logx2507 log10 63.297088981313278529306533814195068850532666658798 -> 1.8013837373724427092417170149098614410849353839673 Inexact Rounded |
| 345 | logx2508 log10 0.00000077239693316881797717820110898167721602299187 -> -6.1121594592718550613773886241951966264826760310047 Inexact Rounded |
| 346 | logx2509 log10 0.00000003953580359780185534830572461922527831395002 -> -7.4030094293833847136252547069905477213541787177561 Inexact Rounded |
| 347 | logx2510 log10 754.62905817369989169188998111527272688791544577204 -> 2.8777335243761300047758534304371912099958057545416 Inexact Rounded |
| 348 | logx2511 log10 0.00000048360378410241428936607147056283282849158312 -> -6.3155103095309353457604038397980091650760346334512 Inexact Rounded |
| 349 | logx2512 log10 0.00007509037583645612577196104591672080542932166089 -> -4.1244157219700166314012344705538088030592896111026 Inexact Rounded |
| 350 | logx2513 log10 0.00000000000705475944638915053419839063567898092064 -> -11.151517790256466048553810002525868198178167950377 Inexact Rounded |
| 351 | logx2514 log10 9.6210300460497657917445410947099633479609165120661 -> 0.98322157093260978206633922877716078683518617768411 Inexact Rounded |
| 352 | logx2515 log10 0.00000000050150361386555527496607245976120864985611 -> -9.2997259330798261040411086835563234390934934629340 Inexact Rounded |
| 353 | logx2516 log10 098.24754029731994125797723545333677604490074810751 -> 1.9923216862874337077795278629351060819105679670633 Inexact Rounded |
| 354 | logx2517 log10 7.5091998150046994320441463854301624742491015752980 -> 0.87559366078005924080766469158763499725414024128781 Inexact Rounded |
| 355 | logx2518 log10 0.00000000000079540571273330075193668596942268542425 -> -12.099411294165176028817305108475326325006250936963 Inexact Rounded |
| 356 | logx2519 log10 0.00000042395034799555215782907515074134154915491701 -> -6.3726850039125381134069450802108893075604464135297 Inexact Rounded |
| 357 | logx2520 log10 56.683376304674355481905023145238799909301732694982 -> 1.7534557107853480435703421826077606250636580091754 Inexact Rounded |
| 358 | logx2521 log10 48.734033811444195070807606721517169810438049581227 -> 1.6878323602741065190942654710049433808208291564049 Inexact Rounded |
| 359 | logx2522 log10 0.00074830310930046865009851706989430228561880221063 -> -3.1259224502209974082223667712016445572431791920618 Inexact Rounded |
| 360 | logx2523 log10 36.677348885111593384020836720396262497122708598359 -> 1.5643979364260796086754530282302605477567469395425 Inexact Rounded |
| 361 | logx2524 log10 0.00000000000000004495678560480432858812419145833744 -> -16.347204748239740510014320630363244015916029619561 Inexact Rounded |
| 362 | logx2525 log10 9509.5854013650642799374159131940108748594774307104 -> 3.9781615829916326741100166519726824430945406302661 Inexact Rounded |
| 363 | logx2526 log10 0.07834891268689177014044454793608715276615743819097 -> -1.1059670262197643147805517398621288897669876996348 Inexact Rounded |
| 364 | logx2527 log10 0.00000029584529880706128444454688454999032801904794 -> -6.5289353275814043710076526920566721570375026917206 Inexact Rounded |
| 365 | logx2528 log10 3.0713496544497618098794332787772186176981011904294 -> 0.48732926103896828546424341029492468100431414072994 Inexact Rounded |
| 366 | logx2529 log10 352.66392670788816474407442785460803833927136413943 -> 2.5473610388199562714709836398243933320284077008314 Inexact Rounded |
| 367 | logx2530 log10 0.00304743125181876267210516527361742185617091801650 -> -2.5160660830163981967774124745311497447050056400207 Inexact Rounded |
| 368 | logx2531 log10 0.00000076120535894952136499250364604538117729437183 -> -6.1184981629047051532448413863950776496652483019415 Inexact Rounded |
| 369 | logx2532 log10 769.88795978534353052965286195053735007473187735815 -> 2.8864275277862652709986498581064117950288798222100 Inexact Rounded |
| 370 | logx2533 log10 0.00000000000000041297494808612226304619570016336188 -> -15.384076292745415917510668454361868659468669804710 Inexact Rounded |
| 371 | logx2534 log10 860.88864595714426940247940960258558876903741966974 -> 2.9349469800554277915920278090647283233440859155176 Inexact Rounded |
| 372 | logx2535 log10 5839.0328812994787235900178587371051096898683972444 -> 3.7663409208972392569269125539438874737147906238543 Inexact Rounded |
| 373 | logx2536 log10 0.00000028532710151284840471670497112821201598377841 -> -6.5446569753514027675878879843238065488490618159490 Inexact Rounded |
| 374 | logx2537 log10 0.00000000000000009734490059931638483445631835651581 -> -16.011686794011271135978633880864278692254243106931 Inexact Rounded |
| 375 | logx2538 log10 5.8610949526439529489252302463450302981511714144330 -> 0.76797875722452549281028552067645732490929361952278 Inexact Rounded |
| 376 | logx2539 log10 6.6282432221115923372151148990137179611977576327206 -> 0.82139843639227213211012044000785757267155736071361 Inexact Rounded |
| 377 | logx2540 log10 0.00000000001994071862386846626954819923923344413454 -> -10.700259194632339980266559224447212260115021637626 Inexact Rounded |
| 378 | |
| 379 | -- P=34, within 0-9999 |
| 380 | Precision: 34 |
| 381 | logx2201 log10 1.522513203889714179088327328864183 -> 0.1825610677098896250496651330492109 Inexact Rounded |
| 382 | logx2202 log10 0.171123774769717316154080888930404 -> -0.7666896483548462582461898092764408 Inexact Rounded |
| 383 | logx2203 log10 0.0000000997467236251714283104963838 -> -7.001101360652518274271569010312115 Inexact Rounded |
| 384 | logx2204 log10 0.0008856103624122479769647543468633 -> -3.052757310476070891830490327138190 Inexact Rounded |
| 385 | logx2205 log10 1.938274868738032930709498221236758 -> 0.2874153648259449520201536171714594 Inexact Rounded |
| 386 | logx2206 log10 479.5667847823826713082613445010097 -> 2.680849095850361068709165157286435 Inexact Rounded |
| 387 | logx2207 log10 8856.136599178820202141823157336804 -> 3.947244306584767101480454261950559 Inexact Rounded |
| 388 | logx2208 log10 0.0000911026318801903982642871344858 -> -4.040469076434979398438617464033826 Inexact Rounded |
| 389 | logx2209 log10 0.0000000000017271112650427414732630 -> -11.76267968314038748995178212654921 Inexact Rounded |
| 390 | logx2210 log10 6.962605370078885647639503548229695 -> 0.8427717807200322352686396925992250 Inexact Rounded |
| 391 | logx2211 log10 0.3354804428992793132855923541692781 -> -0.4743327923012159170967636070844834 Inexact Rounded |
| 392 | logx2212 log10 2.079864257474859008252165836663504 -> 0.3180349916198059046812506741388856 Inexact Rounded |
| 393 | logx2213 log10 2805.479529292939499220276986621988 -> 3.448007104139974344565978780624744 Inexact Rounded |
| 394 | logx2214 log10 66.45731133034187374557028537213949 -> 1.822542767005644041661520936223086 Inexact Rounded |
| 395 | logx2215 log10 0.0000001206521261762681738274822835 -> -6.918465020390216969561494755767318 Inexact Rounded |
| 396 | logx2216 log10 0.0000000001884891916264401160472381 -> -9.724713548119065386091933007528633 Inexact Rounded |
| 397 | logx2217 log10 0.0000015467279551726326581314582759 -> -5.810586065070435383755759514608738 Inexact Rounded |
| 398 | logx2218 log10 0.0090776316728068586744633914135952 -> -2.042027442843745884503280954390114 Inexact Rounded |
| 399 | logx2219 log10 0.0000000000024541106528713393740030 -> -11.61010585935635713090119156069479 Inexact Rounded |
| 400 | logx2220 log10 14.12936879385863410081087750645856 -> 1.150122760895466989841057385742662 Inexact Rounded |
| 401 | logx2221 log10 0.0000036912481831392922922647231392 -> -5.432826753789892283556211380824203 Inexact Rounded |
| 402 | logx2222 log10 0.0000000004067477525420424270138734 -> -9.390674838050073122857868012475060 Inexact Rounded |
| 403 | logx2223 log10 7080.122562705399744969319589806194 -> 3.850040775747103318724330047546916 Inexact Rounded |
| 404 | logx2224 log10 261.3491411363679209175524790255725 -> 2.417221077227536319655699517530855 Inexact Rounded |
| 405 | logx2225 log10 003.9945581449915240094728380041494 -> 0.6014687471531988260823066997845691 Inexact Rounded |
| 406 | logx2226 log10 0.0000000000583549164588495206767840 -> -10.23392254834182677023231713519341 Inexact Rounded |
| 407 | logx2227 log10 9567.961832607240278342761088487484 -> 3.980819434211107631569386147016368 Inexact Rounded |
| 408 | logx2228 log10 06.26592979160342972777219828867033 -> 0.7969855243966221408595024012574729 Inexact Rounded |
| 409 | logx2229 log10 0.0000000000589847046598067273287319 -> -10.22926059078206218717755253582907 Inexact Rounded |
| 410 | logx2230 log10 567.9388648235589204769442863724997 -> 2.754301589058313576472380262907638 Inexact Rounded |
| 411 | logx2231 log10 039.7790325480037778918162264883415 -> 1.599654216592019199639285308997886 Inexact Rounded |
| 412 | logx2232 log10 0.0000000005123951921894162149817207 -> -9.290394953898862694847327137242690 Inexact Rounded |
| 413 | logx2233 log10 0.0000000000038500999723636904276723 -> -11.41452799337924056186867324854691 Inexact Rounded |
| 414 | logx2234 log10 0.0006726500658977759825616537935864 -> -3.172210810922768725687671849421792 Inexact Rounded |
| 415 | logx2235 log10 260.2400250475967528429943779126507 -> 2.415374092073799204236801383070064 Inexact Rounded |
| 416 | logx2236 log10 0.0000000006101942339385102585042548 -> -9.214531900562046557191261226632509 Inexact Rounded |
| 417 | logx2237 log10 0.0000000010846867501382746760066557 -> -8.964695664883282406359874242387236 Inexact Rounded |
| 418 | logx2238 log10 60.24078375568814769010333711509928 -> 1.779890613567084253168373266648922 Inexact Rounded |
| 419 | logx2239 log10 0.0012058738711757669337600252986093 -> -2.918698115012605915753728220896010 Inexact Rounded |
| 420 | logx2240 log10 230.9450930197841600611503095185600 -> 2.363508739056822846742942599628966 Inexact Rounded |
| 421 | |
| 422 | -- P=16, within 0-999 |
| 423 | Precision: 16 |
| 424 | logx2101 log10 0.0072067119605184 -> -2.142262835573038 Inexact Rounded |
| 425 | logx2102 log10 503.6828482226624 -> 2.702157162195652 Inexact Rounded |
| 426 | logx2103 log10 64.96074447821815 -> 1.812650993464174 Inexact Rounded |
| 427 | logx2104 log10 48.75408597467246 -> 1.688011018842600 Inexact Rounded |
| 428 | logx2105 log10 0.0329009839269587 -> -1.482791113975280 Inexact Rounded |
| 429 | logx2106 log10 223.5320415060633 -> 2.349339784523410 Inexact Rounded |
| 430 | logx2107 log10 73.12765002292194 -> 1.864081617476268 Inexact Rounded |
| 431 | logx2108 log10 487.3749378358509 -> 2.687863192802252 Inexact Rounded |
| 432 | logx2109 log10 0.0000019671987621 -> -5.706151757557926 Inexact Rounded |
| 433 | logx2110 log10 0.0570680660609784 -> -1.243606844697873 Inexact Rounded |
| 434 | logx2111 log10 33.10311638788998 -> 1.519868880976773 Inexact Rounded |
| 435 | logx2112 log10 0.0687382699187077 -> -1.162801402868185 Inexact Rounded |
| 436 | logx2113 log10 258.9416193626484 -> 2.413201859654145 Inexact Rounded |
| 437 | logx2114 log10 0.0005306100136736 -> -3.275224558269725 Inexact Rounded |
| 438 | logx2115 log10 65.78490393408572 -> 1.818126244825109 Inexact Rounded |
| 439 | logx2116 log10 504.2328842073510 -> 2.702631165346958 Inexact Rounded |
| 440 | logx2117 log10 9.417432755815027 -> 0.9739325278524503 Inexact Rounded |
| 441 | logx2118 log10 006.7054835355498 -> 0.8264301004947640 Inexact Rounded |
| 442 | logx2119 log10 0.0917012272363915 -> -1.037624852133399 Inexact Rounded |
| 443 | logx2120 log10 5.959404385244921 -> 0.7752028561953401 Inexact Rounded |
| 444 | logx2121 log10 0.0001209759148486 -> -3.917301084968903 Inexact Rounded |
| 445 | logx2122 log10 0.0004706112139838 -> -3.327337728428039 Inexact Rounded |
| 446 | logx2123 log10 0.0069700457377046 -> -2.156764372035771 Inexact Rounded |
| 447 | logx2124 log10 0.5155584569852619 -> -0.2877220847805025 Inexact Rounded |
| 448 | logx2125 log10 88.06005885607414 -> 1.944778971389913 Inexact Rounded |
| 449 | logx2126 log10 0.0448240038219866 -> -1.348489353509709 Inexact Rounded |
| 450 | logx2127 log10 3.419622484059565 -> 0.5339781639101145 Inexact Rounded |
| 451 | logx2128 log10 5.171123353858721 -> 0.7135848977142854 Inexact Rounded |
| 452 | logx2129 log10 0.0002133188319807 -> -3.670970802945872 Inexact Rounded |
| 453 | logx2130 log10 46.21086703136966 -> 1.664744117045149 Inexact Rounded |
| 454 | logx2131 log10 0.0000631053714415 -> -4.199933672639880 Inexact Rounded |
| 455 | logx2132 log10 78.66019196870698 -> 1.895755001962469 Inexact Rounded |
| 456 | logx2133 log10 0.0007152278351188 -> -3.145555592082297 Inexact Rounded |
| 457 | logx2134 log10 45.52509819928536 -> 1.658250891256892 Inexact Rounded |
| 458 | logx2135 log10 0.0000703227795740 -> -4.152903971697183 Inexact Rounded |
| 459 | logx2136 log10 26.24438641426669 -> 1.419036423550599 Inexact Rounded |
| 460 | logx2137 log10 0.0000044654829535 -> -5.350131564166817 Inexact Rounded |
| 461 | logx2138 log10 0.7360702733062529 -> -0.1330807211893611 Inexact Rounded |
| 462 | logx2139 log10 8.417059176469655 -> 0.9251603805112778 Inexact Rounded |
| 463 | logx2140 log10 0.0002926570767968 -> -3.533640969664818 Inexact Rounded |
| 464 | |
| 465 | -- P=7, within 0-99 |
| 466 | Precision: 7 |
| 467 | logx2001 log10 57.26089 -> 1.757858 Inexact Rounded |
| 468 | logx2002 log10 0.0575421 -> -1.240014 Inexact Rounded |
| 469 | logx2003 log10 0.5918465 -> -0.2277909 Inexact Rounded |
| 470 | logx2004 log10 0.0068776 -> -2.162563 Inexact Rounded |
| 471 | logx2005 log10 0.0066833 -> -2.175009 Inexact Rounded |
| 472 | logx2006 log10 9.926963 -> 0.9968164 Inexact Rounded |
| 473 | logx2007 log10 0.0041852 -> -2.378284 Inexact Rounded |
| 474 | logx2008 log10 84.15412 -> 1.925075 Inexact Rounded |
| 475 | logx2009 log10 2.466856 -> 0.3921438 Inexact Rounded |
| 476 | logx2010 log10 0.0058047 -> -2.236220 Inexact Rounded |
| 477 | logx2011 log10 9.885154 -> 0.9949834 Inexact Rounded |
| 478 | logx2012 log10 0.6667654 -> -0.1760269 Inexact Rounded |
| 479 | logx2013 log10 34.65736 -> 1.539795 Inexact Rounded |
| 480 | logx2014 log10 0.0026884 -> -2.570506 Inexact Rounded |
| 481 | logx2015 log10 0.0432767 -> -1.363746 Inexact Rounded |
| 482 | logx2016 log10 66.01407 -> 1.819637 Inexact Rounded |
| 483 | logx2017 log10 0.0070572 -> -2.151368 Inexact Rounded |
| 484 | logx2018 log10 0.0731613 -> -1.135719 Inexact Rounded |
| 485 | logx2019 log10 9.838983 -> 0.9929502 Inexact Rounded |
| 486 | logx2020 log10 15.89696 -> 1.201314 Inexact Rounded |
| 487 | logx2021 log10 8.459247 -> 0.9273317 Inexact Rounded |
| 488 | logx2022 log10 0.0010873 -> -2.963651 Inexact Rounded |
| 489 | logx2023 log10 0.6498619 -> -0.1871789 Inexact Rounded |
| 490 | logx2024 log10 0.0847008 -> -1.072112 Inexact Rounded |
| 491 | logx2025 log10 0.0075489 -> -2.122116 Inexact Rounded |
| 492 | logx2026 log10 51.11152 -> 1.708519 Inexact Rounded |
| 493 | logx2027 log10 0.7233866 -> -0.1406295 Inexact Rounded |
| 494 | logx2028 log10 2.254721 -> 0.3530928 Inexact Rounded |
| 495 | logx2029 log10 6.568444 -> 0.8174625 Inexact Rounded |
| 496 | logx2030 log10 83.72639 -> 1.922862 Inexact Rounded |
| 497 | logx2031 log10 6.720585 -> 0.8274071 Inexact Rounded |
| 498 | logx2032 log10 87.90366 -> 1.944007 Inexact Rounded |
| 499 | logx2033 log10 0.0433324 -> -1.363187 Inexact Rounded |
| 500 | logx2034 log10 34.63912 -> 1.539567 Inexact Rounded |
| 501 | logx2035 log10 0.8089059 -> -0.09210200 Inexact Rounded |
| 502 | logx2036 log10 7.793405 -> 0.8917272 Inexact Rounded |
| 503 | logx2037 log10 0.0041757 -> -2.379271 Inexact Rounded |
| 504 | logx2038 log10 7.135417 -> 0.8534194 Inexact Rounded |
| 505 | logx2039 log10 12.49570 -> 1.096761 Inexact Rounded |
| 506 | logx2040 log10 6.356276 -> 0.8032027 Inexact Rounded |
| 507 | |
| 508 | -------- |
| 509 | maxExponent: 384 |
| 510 | minExponent: -383 |
| 511 | precision: 16 |
| 512 | rounding: half_even |
| 513 | |
| 514 | -- special values |
| 515 | logx820 log10 Infinity -> Infinity |
| 516 | logx821 log10 0 -> -Infinity |
| 517 | logx822 log10 NaN -> NaN |
| 518 | logx823 log10 sNaN -> NaN Invalid_operation |
| 519 | -- propagating NaNs |
| 520 | logx824 log10 sNaN123 -> NaN123 Invalid_operation |
| 521 | logx825 log10 -sNaN321 -> -NaN321 Invalid_operation |
| 522 | logx826 log10 NaN456 -> NaN456 |
| 523 | logx827 log10 -NaN654 -> -NaN654 |
| 524 | logx828 log10 NaN1 -> NaN1 |
| 525 | |
| 526 | |
| 527 | -- Invalid operations due to restrictions |
| 528 | -- [next two probably skipped by most test harnesses] |
| 529 | precision: 100000000 |
| 530 | logx901 log10 1 -> NaN Invalid_context |
| 531 | precision: 99999999 |
| 532 | logx902 log10 0 -> NaN Invalid_context |
| 533 | |
| 534 | precision: 9 |
| 535 | maxExponent: 1000000 |
| 536 | minExponent: -999999 |
| 537 | logx903 log10 1 -> NaN Invalid_context |
| 538 | maxExponent: 999999 |
| 539 | minExponent: -999999 |
| 540 | logx904 log10 0 -> -Infinity |
| 541 | maxExponent: 999999 |
| 542 | minExponent: -1000000 |
| 543 | logx905 log10 1 -> NaN Invalid_context |
| 544 | maxExponent: 999999 |
| 545 | minExponent: -999998 |
| 546 | logx906 log10 0 -> -Infinity |
| 547 | |
| 548 | -- Null test |
| 549 | logx900 log10 # -> NaN Invalid_operation |
| 550 | |
| 551 | |