cbrt.txt 6.5 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546
  1. # dmath_cbrt
  2. # Independent oracle: Decimal at 430 and 570 digits / exact Fraction arithmetic.
  3. # Frozen bits and sweep require review; generation never recalibrates them.
  4. # Nonfinite outputs: nan checks classification; +/-inf checks classification and sign.
  5. # sweep 729d75e71202e9b4
  6. # case input0 input1 frozen0 frozen1 reference0 reference1 max_ulp
  7. positive_zero 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 1 # x=0x0.0p+0 y=0x0.0p+0
  8. negative_zero 8000000000000000 0000000000000000 8000000000000000 0000000000000000 8000000000000000 0000000000000000 1 # x=-0x0.0p+0 y=0x0.0p+0
  9. least_subnormal 0000000000000001 0000000000000000 2990000000000000 0000000000000000 2990000000000000 0000000000000000 1 # x=0x0.0000000000001p-1022 y=0x0.0p+0
  10. negative_least_subnormal 8000000000000001 0000000000000000 a990000000000000 0000000000000000 a990000000000000 0000000000000000 1 # x=-0x0.0000000000001p-1022 y=0x0.0p+0
  11. third_subnormal 0000000000000003 0000000000000000 2997137449123ef6 0000000000000000 2997137449123ef6 0000000000000000 1 # x=0x0.0000000000003p-1022 y=0x0.0p+0
  12. negative_third_subnormal 8000000000000003 0000000000000000 a997137449123ef6 0000000000000000 a997137449123ef6 0000000000000000 1 # x=-0x0.0000000000003p-1022 y=0x0.0p+0
  13. largest_subnormal 000fffffffffffff 0000000000000000 2aa428a2f98d728a 0000000000000000 2aa428a2f98d728a 0000000000000000 1 # x=0x0.fffffffffffffp-1022 y=0x0.0p+0
  14. negative_largest_subnormal 800fffffffffffff 0000000000000000 aaa428a2f98d728a 0000000000000000 aaa428a2f98d728a 0000000000000000 1 # x=-0x0.fffffffffffffp-1022 y=0x0.0p+0
  15. least_normal 0010000000000000 0000000000000000 2aa428a2f98d728b 0000000000000000 2aa428a2f98d728b 0000000000000000 1 # x=0x1.0000000000000p-1022 y=0x0.0p+0
  16. negative_least_normal 8010000000000000 0000000000000000 aaa428a2f98d728b 0000000000000000 aaa428a2f98d728b 0000000000000000 1 # x=-0x1.0000000000000p-1022 y=0x0.0p+0
  17. largest_finite 7fefffffffffffff 0000000000000000 554428a2f98d728b 0000000000000000 554428a2f98d728b 0000000000000000 1 # x=0x1.fffffffffffffp+1023 y=0x0.0p+0
  18. negative_largest_finite ffefffffffffffff 0000000000000000 d54428a2f98d728b 0000000000000000 d54428a2f98d728b 0000000000000000 1 # x=-0x1.fffffffffffffp+1023 y=0x0.0p+0
  19. positive_infinity 7ff0000000000000 0000000000000000 +inf 0000000000000000 +inf 0000000000000000 1 # x=inf y=0x0.0p+0
  20. negative_infinity fff0000000000000 0000000000000000 -inf 0000000000000000 -inf 0000000000000000 1 # x=-inf y=0x0.0p+0
  21. quiet_nan_payload 7ff8abcdef135790 0000000000000000 nan 0000000000000000 nan 0000000000000000 1 # x=nan y=0x0.0p+0
  22. negative_quiet_nan_payload fff8abcdef135790 0000000000000000 nan 0000000000000000 nan 0000000000000000 1 # x=nan y=0x0.0p+0
  23. signaling_nan_payload 7ff0000000010248 0000000000000000 nan 0000000000000000 nan 0000000000000000 1 # x=nan y=0x0.0p+0
  24. negative_signaling_nan_payload fff0000000010248 0000000000000000 nan 0000000000000000 nan 0000000000000000 1 # x=nan y=0x0.0p+0
  25. exact_positive_cube 4063693000000000 0000000000000000 4015800000000000 0000000000000000 4015800000000000 0000000000000000 1 # x=0x1.3693000000000p+7 y=0x0.0p+0
  26. exact_negative_cube c063693000000000 0000000000000000 c015800000000000 0000000000000000 c015800000000000 0000000000000000 1 # x=-0x1.3693000000000p+7 y=0x0.0p+0
  27. irrational_positive 4033600000000000 0000000000000000 40057c9b15ef8f92 0000000000000000 40057c9b15ef8f92 0000000000000000 1 # x=0x1.3600000000000p+4 y=0x0.0p+0
  28. irrational_negative c033600000000000 0000000000000000 c0057c9b15ef8f92 0000000000000000 c0057c9b15ef8f92 0000000000000000 1 # x=-0x1.3600000000000p+4 y=0x0.0p+0
  29. exponent_class_0_below 65772fffffffffff 0000000000000000 4c721b3acf1ef541 0000000000000000 4c721b3acf1ef541 0000000000000000 1 # x=0x1.72fffffffffffp+600 y=0x0.0p+0
  30. exponent_class_0_at 6577300000000000 0000000000000000 4c721b3acf1ef541 0000000000000000 4c721b3acf1ef542 0000000000000000 1 # x=0x1.7300000000000p+600 y=0x0.0p+0
  31. exponent_class_0_above 6577300000000001 0000000000000000 4c721b3acf1ef542 0000000000000000 4c721b3acf1ef542 0000000000000000 1 # x=0x1.7300000000001p+600 y=0x0.0p+0
  32. negative_exponent_class_0_below e5772fffffffffff 0000000000000000 cc721b3acf1ef541 0000000000000000 cc721b3acf1ef541 0000000000000000 1 # x=-0x1.72fffffffffffp+600 y=0x0.0p+0
  33. negative_exponent_class_0_at e577300000000000 0000000000000000 cc721b3acf1ef541 0000000000000000 cc721b3acf1ef542 0000000000000000 1 # x=-0x1.7300000000000p+600 y=0x0.0p+0
  34. negative_exponent_class_0_above e577300000000001 0000000000000000 cc721b3acf1ef542 0000000000000000 cc721b3acf1ef542 0000000000000000 1 # x=-0x1.7300000000001p+600 y=0x0.0p+0
  35. exponent_class_1_below 65872fffffffffff 0000000000000000 4c76d0060407c5dd 0000000000000000 4c76d0060407c5dd 0000000000000000 1 # x=0x1.72fffffffffffp+601 y=0x0.0p+0
  36. exponent_class_1_at 6587300000000000 0000000000000000 4c76d0060407c5dd 0000000000000000 4c76d0060407c5dd 0000000000000000 1 # x=0x1.7300000000000p+601 y=0x0.0p+0
  37. exponent_class_1_above 6587300000000001 0000000000000000 4c76d0060407c5de 0000000000000000 4c76d0060407c5de 0000000000000000 1 # x=0x1.7300000000001p+601 y=0x0.0p+0
  38. negative_exponent_class_1_below e5872fffffffffff 0000000000000000 cc76d0060407c5dd 0000000000000000 cc76d0060407c5dd 0000000000000000 1 # x=-0x1.72fffffffffffp+601 y=0x0.0p+0
  39. negative_exponent_class_1_at e587300000000000 0000000000000000 cc76d0060407c5dd 0000000000000000 cc76d0060407c5dd 0000000000000000 1 # x=-0x1.7300000000000p+601 y=0x0.0p+0
  40. negative_exponent_class_1_above e587300000000001 0000000000000000 cc76d0060407c5de 0000000000000000 cc76d0060407c5de 0000000000000000 1 # x=-0x1.7300000000001p+601 y=0x0.0p+0
  41. exponent_class_2_below 65972fffffffffff 0000000000000000 4c7cbdf7f21fbdb5 0000000000000000 4c7cbdf7f21fbdb5 0000000000000000 1 # x=0x1.72fffffffffffp+602 y=0x0.0p+0
  42. exponent_class_2_at 6597300000000000 0000000000000000 4c7cbdf7f21fbdb6 0000000000000000 4c7cbdf7f21fbdb6 0000000000000000 1 # x=0x1.7300000000000p+602 y=0x0.0p+0
  43. exponent_class_2_above 6597300000000001 0000000000000000 4c7cbdf7f21fbdb6 0000000000000000 4c7cbdf7f21fbdb6 0000000000000000 1 # x=0x1.7300000000001p+602 y=0x0.0p+0
  44. negative_exponent_class_2_below e5972fffffffffff 0000000000000000 cc7cbdf7f21fbdb5 0000000000000000 cc7cbdf7f21fbdb5 0000000000000000 1 # x=-0x1.72fffffffffffp+602 y=0x0.0p+0
  45. negative_exponent_class_2_at e597300000000000 0000000000000000 cc7cbdf7f21fbdb6 0000000000000000 cc7cbdf7f21fbdb6 0000000000000000 1 # x=-0x1.7300000000000p+602 y=0x0.0p+0
  46. negative_exponent_class_2_above e597300000000001 0000000000000000 cc7cbdf7f21fbdb6 0000000000000000 cc7cbdf7f21fbdb6 0000000000000000 1 # x=-0x1.7300000000001p+602 y=0x0.0p+0