core/math/parser/parser-tests.factor

   1 USING: kernel literals math math.parser sequences tools.test ;
   2 IN: math.parser.tests
   3
   4 [ f ]
   5 [ f string>number ]
   6 unit-test
   7
   8 [ f ]
   9 [ ";" string>number ]
  10 unit-test
  11
  12 [ f ]
  13 [ "<>" string>number ]
  14 unit-test
  15
  16 [ f ]
  17 [ "^" string>number ]
  18 unit-test
  19
  20 [ f ]
  21 [ "789:;<=>?@" string>number ]
  22 unit-test
  23
  24 [ f ]
  25 [ "12345abcdef" string>number ]
  26 unit-test
  27
  28 [ 12 ]
  29 [ "+12" string>number ]
  30 unit-test
  31
  32 [ -12 ]
  33 [ "-12" string>number ]
  34 unit-test
  35
  36 [ f ]
  37 [ "-+12" string>number ]
  38 unit-test
  39
  40 [ f ]
  41 [ "+-12" string>number ]
  42 unit-test
  43
  44 [ f ]
  45 [ "--12" string>number ]
  46 unit-test
  47
  48 [ f ]
  49 [ "-" string>number ]
  50 unit-test
  51
  52 [ f ]
  53 [ "e" string>number ]
  54 unit-test
  55
  56 [ 1/2 ] [ "1/2" string>number ] unit-test
  57 [ -1/2 ] [ "-1/2" string>number ] unit-test
  58 [ 2 ] [ "4/2" string>number ] unit-test
  59 [ f ] [ "1/-2" string>number ] unit-test
  60 [ f ] [ "1/2/3" string>number ] unit-test
  61 [ 1+1/2 ] [ "1+1/2" string>number ] unit-test
  62 [ 1+1/2 ] [ "+1+1/2" string>number ] unit-test
  63 [ f ] [ "1-1/2" string>number ] unit-test
  64 [ -1-1/2 ] [ "-1-1/2" string>number ] unit-test
  65 [ f ] [ "-1+1/2" string>number ] unit-test
  66 [ f ] [ "1+2" string>number ] unit-test
  67 [ f ] [ "1+" string>number ] unit-test
  68 [ f ] [ "1-" string>number ] unit-test
  69 [ f ] [ "1+1/2+2" string>number ] unit-test
  70
  71 [ 100000 ] [ "100,000" string>number ] unit-test
  72
  73 [ 100000.0 ] [ "100,000.0" string>number ] unit-test
  74
  75 [ f ] [ "," string>number ] unit-test
  76 [ f ] [ "-," string>number ] unit-test
  77 [ f ] [ "1," string>number ] unit-test
  78 [ f ] [ "-1," string>number ] unit-test
  79 [ f ] [ ",2" string>number ] unit-test
  80 [ f ] [ "-,2" string>number ] unit-test
  81
  82 [ 2.0 ] [ "2." string>number ] unit-test
  83 [ 2.0 ] [ "+2." string>number ] unit-test
  84 [ 0.25 ] [ ".25" string>number ] unit-test
  85 [ -2.0 ] [ "-2." string>number ] unit-test
  86 [ -0.25 ] [ "-.25" string>number ] unit-test
  87 [ f ]  [ "-." string>number ] unit-test
  88
  89 [ 255 ] [ "ff" hex> ] unit-test
  90
  91 [ 100.0 ] [ "1.0e2" string>number ] unit-test
  92 [ 100.0 ] [ "100.0" string>number ] unit-test
  93 [ 100.0 ] [ "100." string>number ] unit-test
  94
  95 [ 100.0 ] [ "1e2" string>number ] unit-test
  96 [ 100.0 ] [ "1e+2" string>number ] unit-test
  97 [ 0x1e2 ] [ "1e2" hex> ] unit-test
  98
  99 [ 0x1.999999999999ap-3 ] [ "0.2" string>number ] unit-test
 100 [ 0x1.3333333333333p0  ] [ "1.2" string>number ] unit-test
 101 [ 0x1.5555555555555p0  ] [ "1.333,333,333,333,333,333" string>number ] unit-test
 102 [ 0x1.aaaaaaaaaaaabp0  ] [ "1.666,666,666,666,666,666" string>number ] unit-test
 103
 104 [ "100.0" ]
 105 [ "1.0e2" string>number number>string ]
 106 unit-test
 107
 108 [ -100.0 ] [ "-1.0e2" string>number ] unit-test
 109 [ -100.0 ] [ "-100.0" string>number ] unit-test
 110 [ -100.0 ] [ "-100." string>number ] unit-test
 111
 112 [ "-100.0" ]
 113 [ "-1.0e2" string>number number>string ]
 114 unit-test
 115
 116 [ -100.0 ] [ "-1.e2" string>number ] unit-test
 117
 118 [ "0.01" ]
 119 [ "1.0e-2" string>number number>string ]
 120 unit-test
 121
 122 [ 0.01 ] [ "1.0e-2" string>number ] unit-test
 123
 124 [ "-0.01" ]
 125 [ "-1.0e-2" string>number number>string ]
 126 unit-test
 127
 128 [ -0.01 ] [ "-1.0e-2" string>number ] unit-test
 129
 130 [ "-0.01" ]
 131 [ "-1.e-2" string>number number>string ]
 132 unit-test
 133
 134 [ -1.0e-12 ] [ "-1.0e-12" string>number ] unit-test
 135
 136 [ t ]
 137 [ "-1.0e-12" string>number number>string { "-1.0e-12" "-1.0e-012" } member? ]
 138 unit-test
 139
 140 [ f ]
 141 [ "-1e-2e4" string>number ]
 142 unit-test
 143
 144 [ "3.14" ]
 145 [ "3.14" string>number number>string ]
 146 unit-test
 147
 148 [ f ]
 149 [ "." string>number ]
 150 unit-test
 151
 152 [ f ]
 153 [ ".e" string>number ]
 154 unit-test
 155
 156 [ "101.0" ]
 157 [ "1.01e2" string>number number>string ]
 158 unit-test
 159
 160 [ "-101.0" ]
 161 [ "-1.01e2" string>number number>string ]
 162 unit-test
 163
 164 [ "1.01" ]
 165 [ "101.0e-2" string>number number>string ]
 166 unit-test
 167
 168 [ "-1.01" ]
 169 [ "-101.0e-2" string>number number>string ]
 170 unit-test
 171
 172 [ f ]
 173 [ "1e1/2" string>number ]
 174 unit-test
 175
 176 [ f ]
 177 [ "1e1.2" string>number ]
 178 unit-test
 179
 180 [ f ]
 181 [ "e/2" string>number ]
 182 unit-test
 183
 184 [ f ] [ "12" bin> ] unit-test
 185 [ f ] [ "fdsf" bin> ] unit-test
 186 [ 3 ] [ "11" bin> ] unit-test
 187
 188 [ f ] [ "\0." string>number ] unit-test
 189
 190 [ 1 1 >base ] must-fail
 191 [ 1 0 >base ] must-fail
 192 [ 1 -1 >base ] must-fail
 193 [ 2+1/2 -1 >base ] [ invalid-radix? ] must-fail-with
 194 [ 123.456 8 >base ] [ invalid-radix? ] must-fail-with
 195 [ 123.456 2 >base ] [ invalid-radix? ] must-fail-with
 196
 197 [ "0/0." ] [ 0.0 0.0 / number>string ] unit-test
 198
 199 [ "1/0." ] [ 1.0 0.0 / number>string ] unit-test
 200
 201 [ "-1/0." ] [ -1.0 0.0 / number>string ] unit-test
 202
 203 [ t ] [ "0/0." string>number fp-nan? ] unit-test
 204
 205 [ 1/0. ] [ "1/0." string>number ] unit-test
 206
 207 [ -1/0. ] [ "-1/0." string>number ] unit-test
 208
 209 [ -0.5 ] [ "-1/2." string>number ] unit-test
 210
 211 [ "-0.0" ] [ -0.0 number>string ] unit-test
 212
 213 [ "-3/4" ] [ -3/4 number>string ] unit-test
 214 [ "-1-1/4" ] [ -5/4 number>string ] unit-test
 215
 216 [ "1.0p0" ] [ 1.0 >hex ] unit-test
 217 [ "1.8p2" ] [ 6.0 >hex ] unit-test
 218 [ "1.08p2" ] [ 4.125 >hex ] unit-test
 219 [ "1.8p-2" ] [ 0.375 >hex ] unit-test
 220 [ "-1.8p2" ] [ -6.0 >hex ] unit-test
 221 [ "1.8p10" ] [ 1536.0 >hex ] unit-test
 222 [ "0.0" ] [ 0.0 >hex ] unit-test
 223 [ "1.0p-1074" ] [ 1 bits>double >hex ] unit-test
 224 [ "-0.0" ] [ -0.0 >hex ] unit-test
 225
 226 [ 1.0 ] [ "1.0p0" hex> ] unit-test
 227 [ 1.5 ] [ "1.8p0" hex> ] unit-test
 228 [ 1.875 ] [ "1.ep0" hex> ] unit-test
 229 [ 1.90625 ] [ "1.e8p0" hex> ] unit-test
 230 [ 1.03125 ] [ "1.08p0" hex> ] unit-test
 231 [ 15.5 ] [ "f.8p0" hex> ] unit-test
 232 [ 15.53125 ] [ "f.88p0" hex> ] unit-test
 233 [ -15.5 ] [ "-f.8p0" hex> ] unit-test
 234 [ 15.5 ] [ "f.8p0" hex> ] unit-test
 235 [ -15.5 ] [ "-f.8p0" hex> ] unit-test
 236 [ 62.0 ] [ "f.8p2" hex> ] unit-test
 237 [ 3.875 ] [ "f.8p-2" hex> ] unit-test
 238 [ $[ 1 bits>double ] ] [ "1.0p-1074" hex> ] unit-test
 239 [ 0.0 ] [ "1.0p-1075" hex> ] unit-test
 240 [ 1/0. ] [ "1.0p1024" hex> ] unit-test
 241 [ -1/0. ] [ "-1.0p1024" hex> ] unit-test
 242
 243 [ 0 ] [ "0" string>number ] unit-test
 244 [ 0 ] [ "00" string>number ] unit-test
 245 [ 0 ] [ "0,000" string>number ] unit-test
 246 [ 0.0 ] [ "0." string>number ] unit-test
 247 [ 0.0 ] [ "0.0" string>number ] unit-test
 248 [ 0.0 ] [ "0x0.0p0" string>number ] unit-test
 249 [ 0 ] [ "0x0" string>number ] unit-test
 250 [ 0 ] [ "0o0" string>number ] unit-test
 251 [ 0 ] [ "0b0" string>number ] unit-test
 252
 253 [ 10 ] [ "010" string>number ] unit-test
 254 [ 16 ] [ "0x10" string>number ] unit-test
 255 [  8 ] [ "0o10" string>number ] unit-test
 256 [  2 ] [ "0b10" string>number ] unit-test
 257
 258 [ -10 ] [ "-010" string>number ] unit-test
 259 [ -16 ] [ "-0x10" string>number ] unit-test
 260 [  -8 ] [ "-0o10" string>number ] unit-test
 261 [  -2 ] [ "-0b10" string>number ] unit-test
 262
 263 [ f ] [ "01a" string>number ] unit-test
 264 [ f ] [ "0x1g" string>number ] unit-test
 265 [ f ] [ "0o18" string>number ] unit-test
 266 [ f ] [ "0b12" string>number ] unit-test
 267
 268 [ 11 ] [ "0x0b" string>number ] unit-test
 269 [ f  ] [ "0x0o0" string>number ] unit-test
 270
 271 [ 0x7FFF,ABCD ] [ "0x7FFF,ABCD" string>number ] unit-test
 272
 273 [ 1.0 ] [ "0x1.0p0" string>number ] unit-test
 274 [ 6.0 ] [ "0x1.8p2" string>number ] unit-test
 275 [ 0.375 ] [ "0x1.8p-2" string>number ] unit-test
 276 [ -6.0 ] [ "-0x1.8p2" string>number ] unit-test
 277 [ -0.375 ] [ "-0x1.8p-2" string>number ] unit-test
 278
 279 [ f ] [ "0x" string>number ] unit-test
 280 [ f ] [ "0b" string>number ] unit-test
 281 [ f ] [ "0o" string>number ] unit-test
 282 [ f ] [ "0x," string>number ] unit-test
 283 [ f ] [ "0b," string>number ] unit-test
 284 [ f ] [ "0o," string>number ] unit-test
 285 [ f ] [ "0x,1" string>number ] unit-test
 286 [ f ] [ "0b,1" string>number ] unit-test
 287 [ f ] [ "0o,1" string>number ] unit-test
 288 [ f ] [ "0x1," string>number ] unit-test
 289 [ f ] [ "0b1," string>number ] unit-test
 290 [ f ] [ "0o1," string>number ] unit-test
 291
 292 ! #372
 293 ! hex float requires exponent
 294 [ f ] [ "0x1.0" string>number ] unit-test
 295
 296 ! hex float rounds to even on half
 297 [ 0x1.0000,0000,0000,0p0 ] [ "0x1.0000,0000,0000,0,8p0" string>number ] unit-test
 298 [ 0x1.0000,0000,0000,2p0 ] [ "0x1.0000,0000,0000,1,8p0" string>number ] unit-test
 299 [ 0x1.0000,0000,0000,0p0 ] [ "0x8.0000,0000,0000,4p-3" string>number ] unit-test
 300 [ 0x1.0000,0000,0000,2p0 ] [ "0x8.0000,0000,0000,Cp-3" string>number ] unit-test
 301
 302 [ -0x1.0000,0000,0000,0p0 ] [ "-0x1.0000,0000,0000,0,8p0" string>number ] unit-test
 303 [ -0x1.0000,0000,0000,2p0 ] [ "-0x1.0000,0000,0000,1,8p0" string>number ] unit-test
 304 [ -0x1.0000,0000,0000,0p0 ] [ "-0x8.0000,0000,0000,4p-3" string>number ] unit-test
 305 [ -0x1.0000,0000,0000,2p0 ] [ "-0x8.0000,0000,0000,Cp-3" string>number ] unit-test
 306
 307 ! hex float rounds to nearest with tiny epsilons
 308 [ 0x1.0000,0000,0000,0p0 ] [ "0x1.0000,0000,0000,0,4p0" string>number ] unit-test
 309 [ 0x1.0000,0000,0000,0p0 ] [ "0x1.0000,0000,0000,0,7Fp0" string>number ] unit-test
 310 [ 0x1.0000,0000,0000,0p0 ] [ "0x1.0000,0000,0000,0,7FFF,FFFF,FFFF,FFFFp0" string>number ] unit-test
 311
 312 [ 0x1.0000,0000,0000,1p0 ] [ "0x1.0000,0000,0000,0,Cp0" string>number ] unit-test
 313 [ 0x1.0000,0000,0000,1p0 ] [ "0x1.0000,0000,0000,0,81p0" string>number ] unit-test
 314 [ 0x1.0000,0000,0000,1p0 ] [ "0x1.0000,0000,0000,0,8000,0000,0000,0001p0" string>number ] unit-test
 315
 316 [ 0x1.0000,0000,0000,1p0 ] [ "0x1.0000,0000,0000,1,4p0" string>number ] unit-test
 317 [ 0x1.0000,0000,0000,1p0 ] [ "0x1.0000,0000,0000,1,7Fp0" string>number ] unit-test
 318 [ 0x1.0000,0000,0000,1p0 ] [ "0x1.0000,0000,0000,1,7FFF,FFFF,FFFF,FFFFp0" string>number ] unit-test
 319
 320 [ 0x1.0000,0000,0000,2p0 ] [ "0x1.0000,0000,0000,1,Cp0" string>number ] unit-test
 321 [ 0x1.0000,0000,0000,2p0 ] [ "0x1.0000,0000,0000,1,81p0" string>number ] unit-test
 322 [ 0x1.0000,0000,0000,2p0 ] [ "0x1.0000,0000,0000,1,8000,0000,0000,0001p0" string>number ] unit-test
 323
 324 [ -0x1.0000,0000,0000,0p0 ] [ "-0x1.0000,0000,0000,0,4p0" string>number ] unit-test
 325 [ -0x1.0000,0000,0000,0p0 ] [ "-0x1.0000,0000,0000,0,7Fp0" string>number ] unit-test
 326 [ -0x1.0000,0000,0000,0p0 ] [ "-0x1.0000,0000,0000,0,7FFF,FFFF,FFFF,FFFFp0" string>number ] unit-test
 327
 328 [ -0x1.0000,0000,0000,1p0 ] [ "-0x1.0000,0000,0000,0,Cp0" string>number ] unit-test
 329 [ -0x1.0000,0000,0000,1p0 ] [ "-0x1.0000,0000,0000,0,81p0" string>number ] unit-test
 330 [ -0x1.0000,0000,0000,1p0 ] [ "-0x1.0000,0000,0000,0,8000,0000,0000,0001p0" string>number ] unit-test
 331
 332 [ -0x1.0000,0000,0000,1p0 ] [ "-0x1.0000,0000,0000,1,4p0" string>number ] unit-test
 333 [ -0x1.0000,0000,0000,1p0 ] [ "-0x1.0000,0000,0000,1,7Fp0" string>number ] unit-test
 334 [ -0x1.0000,0000,0000,1p0 ] [ "-0x1.0000,0000,0000,1,7FFF,FFFF,FFFF,FFFFp0" string>number ] unit-test
 335
 336 [ -0x1.0000,0000,0000,2p0 ] [ "-0x1.0000,0000,0000,1,Cp0" string>number ] unit-test
 337 [ -0x1.0000,0000,0000,2p0 ] [ "-0x1.0000,0000,0000,1,81p0" string>number ] unit-test
 338 [ -0x1.0000,0000,0000,2p0 ] [ "-0x1.0000,0000,0000,1,8000,0000,0000,0001p0" string>number ] unit-test
 339
 340 ! #453
 341 ! hex> dec> oct> bin> shouldn't admit radix prefixes
 342
 343 [ 0x0b ] [ "0b" hex> ] unit-test
 344 [ 0x0b0 ] [ "0b0" hex> ] unit-test
 345 [ f ] [ "0o0" hex> ] unit-test
 346 [ f ] [ "0x0" hex> ] unit-test
 347
 348 [ f ] [ "0b" dec> ] unit-test
 349 [ f ] [ "0b0" dec> ] unit-test
 350 [ f ] [ "0o0" dec> ] unit-test
 351 [ f ] [ "0x0" dec> ] unit-test
 352
 353 [ f ] [ "0b" oct> ] unit-test
 354 [ f ] [ "0b0" oct> ] unit-test
 355 [ f ] [ "0o0" oct> ] unit-test
 356 [ f ] [ "0x0" oct> ] unit-test
 357
 358 [ f ] [ "0b" bin> ] unit-test
 359 [ f ] [ "0b0" bin> ] unit-test
 360 [ f ] [ "0o0" bin> ] unit-test
 361 [ f ] [ "0x0" bin> ] unit-test