Главная Обзор Помощь
Регистрация Вход
gugdun
/
pocketpy
зеркало из https://github.com/pocketpy/pocketpy
1
0
Ответвить 0
Файлы Задачи 0 Вики
Ветка: main
Ветки Метки
pocketpy
/
tests
/
dmath
/
cases
/
atan.txt

atan.txt 9.1 KB
Постоянная ссылка История Исходник

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162 
  1. # dmath_atan
    2. 

  2. # Independent oracle: Decimal at 430 and 570 digits / exact Fraction arithmetic.
    3. 

  3. # Frozen bits and sweep require review; generation never recalibrates them.
    4. 

  4. # Nonfinite outputs: nan checks classification; +/-inf checks classification and sign.
    5. 

  5. # sweep 9b69ac15da362a74
    6. 

  6. # case  input0  input1  frozen0  frozen1  reference0  reference1  max_ulp
    7. 

  7. positive_zero 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 1 # x=0x0.0p+0 y=0x0.0p+0
    8. 

  8. negative_zero 8000000000000000 0000000000000000 8000000000000000 0000000000000000 8000000000000000 0000000000000000 1 # x=-0x0.0p+0 y=0x0.0p+0
    9. 

  9. least_subnormal 0000000000000001 0000000000000000 0000000000000001 0000000000000000 0000000000000001 0000000000000000 1 # x=0x0.0000000000001p-1022 y=0x0.0p+0
    10. 

  10. negative_least_subnormal 8000000000000001 0000000000000000 8000000000000001 0000000000000000 8000000000000001 0000000000000000 1 # x=-0x0.0000000000001p-1022 y=0x0.0p+0
    11. 

  11. third_subnormal 0000000000000003 0000000000000000 0000000000000003 0000000000000000 0000000000000003 0000000000000000 1 # x=0x0.0000000000003p-1022 y=0x0.0p+0
    12. 

  12. negative_third_subnormal 8000000000000003 0000000000000000 8000000000000003 0000000000000000 8000000000000003 0000000000000000 1 # x=-0x0.0000000000003p-1022 y=0x0.0p+0
    13. 

  13. largest_subnormal 000fffffffffffff 0000000000000000 000fffffffffffff 0000000000000000 000fffffffffffff 0000000000000000 1 # x=0x0.fffffffffffffp-1022 y=0x0.0p+0
    14. 

  14. negative_largest_subnormal 800fffffffffffff 0000000000000000 800fffffffffffff 0000000000000000 800fffffffffffff 0000000000000000 1 # x=-0x0.fffffffffffffp-1022 y=0x0.0p+0
    15. 

  15. least_normal 0010000000000000 0000000000000000 0010000000000000 0000000000000000 0010000000000000 0000000000000000 1 # x=0x1.0000000000000p-1022 y=0x0.0p+0
    16. 

  16. negative_least_normal 8010000000000000 0000000000000000 8010000000000000 0000000000000000 8010000000000000 0000000000000000 1 # x=-0x1.0000000000000p-1022 y=0x0.0p+0
    17. 

  17. largest_finite 7fefffffffffffff 0000000000000000 3ff921fb54442d18 0000000000000000 3ff921fb54442d18 0000000000000000 1 # x=0x1.fffffffffffffp+1023 y=0x0.0p+0
    18. 

  18. negative_largest_finite ffefffffffffffff 0000000000000000 bff921fb54442d18 0000000000000000 bff921fb54442d18 0000000000000000 1 # x=-0x1.fffffffffffffp+1023 y=0x0.0p+0
    19. 

  19. positive_infinity 7ff0000000000000 0000000000000000 3ff921fb54442d18 0000000000000000 3ff921fb54442d18 0000000000000000 1 # x=inf y=0x0.0p+0
    20. 

  20. negative_infinity fff0000000000000 0000000000000000 bff921fb54442d18 0000000000000000 bff921fb54442d18 0000000000000000 1 # x=-inf y=0x0.0p+0
    21. 

  21. quiet_nan_payload 7ff8abcdef135790 0000000000000000 nan 0000000000000000 nan 0000000000000000 1 # x=nan y=0x0.0p+0
    22. 

  22. negative_quiet_nan_payload fff8abcdef135790 0000000000000000 nan 0000000000000000 nan 0000000000000000 1 # x=nan y=0x0.0p+0
    23. 

  23. signaling_nan_payload 7ff0000000010248 0000000000000000 nan 0000000000000000 nan 0000000000000000 1 # x=nan y=0x0.0p+0
    24. 

  24. negative_signaling_nan_payload fff0000000010248 0000000000000000 nan 0000000000000000 nan 0000000000000000 1 # x=nan y=0x0.0p+0
    25. 

  25. ordinary_positive 4022a00000000000 0000000000000000 3ff76bd26302c625 0000000000000000 3ff76bd26302c625 0000000000000000 1 # x=0x1.2a00000000000p+3 y=0x0.0p+0
    26. 

  26. ordinary_negative c022a00000000000 0000000000000000 bff76bd26302c625 0000000000000000 bff76bd26302c625 0000000000000000 1 # x=-0x1.2a00000000000p+3 y=0x0.0p+0
    27. 

  27. tiny_cutoff_below 3e3fffffffffffff 0000000000000000 3e3fffffffffffff 0000000000000000 3e3fffffffffffff 0000000000000000 1 # x=0x1.fffffffffffffp-28 y=0x0.0p+0
    28. 

  28. tiny_cutoff_at 3e40000000000000 0000000000000000 3e40000000000000 0000000000000000 3e40000000000000 0000000000000000 1 # x=0x1.0000000000000p-27 y=0x0.0p+0
    29. 

  29. tiny_cutoff_above 3e40000000000001 0000000000000000 3e40000000000001 0000000000000000 3e40000000000001 0000000000000000 1 # x=0x1.0000000000001p-27 y=0x0.0p+0
    30. 

  30. negative_tiny_cutoff_below be3fffffffffffff 0000000000000000 be3fffffffffffff 0000000000000000 be3fffffffffffff 0000000000000000 1 # x=-0x1.fffffffffffffp-28 y=0x0.0p+0
    31. 

  31. negative_tiny_cutoff_at be40000000000000 0000000000000000 be40000000000000 0000000000000000 be40000000000000 0000000000000000 1 # x=-0x1.0000000000000p-27 y=0x0.0p+0
    32. 

  32. negative_tiny_cutoff_above be40000000000001 0000000000000000 be40000000000001 0000000000000000 be40000000000001 0000000000000000 1 # x=-0x1.0000000000001p-27 y=0x0.0p+0
    33. 

  33. first_interval_below 3fdbffffffffffff 0000000000000000 3fda64eec3cc23fc 0000000000000000 3fda64eec3cc23fc 0000000000000000 1 # x=0x1.bffffffffffffp-2 y=0x0.0p+0
    34. 

  34. first_interval_at 3fdc000000000000 0000000000000000 3fda64eec3cc23fd 0000000000000000 3fda64eec3cc23fd 0000000000000000 1 # x=0x1.c000000000000p-2 y=0x0.0p+0
    35. 

  35. first_interval_above 3fdc000000000001 0000000000000000 3fda64eec3cc23fe 0000000000000000 3fda64eec3cc23fe 0000000000000000 1 # x=0x1.c000000000001p-2 y=0x0.0p+0
    36. 

  36. negative_first_interval_below bfdbffffffffffff 0000000000000000 bfda64eec3cc23fc 0000000000000000 bfda64eec3cc23fc 0000000000000000 1 # x=-0x1.bffffffffffffp-2 y=0x0.0p+0
    37. 

  37. negative_first_interval_at bfdc000000000000 0000000000000000 bfda64eec3cc23fd 0000000000000000 bfda64eec3cc23fd 0000000000000000 1 # x=-0x1.c000000000000p-2 y=0x0.0p+0
    38. 

  38. negative_first_interval_above bfdc000000000001 0000000000000000 bfda64eec3cc23fe 0000000000000000 bfda64eec3cc23fe 0000000000000000 1 # x=-0x1.c000000000001p-2 y=0x0.0p+0
    39. 

  39. second_interval_below 3fe5ffffffffffff 0000000000000000 3fe345f01cce37ba 0000000000000000 3fe345f01cce37bb 0000000000000000 1 # x=0x1.5ffffffffffffp-1 y=0x0.0p+0
    40. 

  40. second_interval_at 3fe6000000000000 0000000000000000 3fe345f01cce37bb 0000000000000000 3fe345f01cce37bb 0000000000000000 1 # x=0x1.6000000000000p-1 y=0x0.0p+0
    41. 

  41. second_interval_above 3fe6000000000001 0000000000000000 3fe345f01cce37bc 0000000000000000 3fe345f01cce37bc 0000000000000000 1 # x=0x1.6000000000001p-1 y=0x0.0p+0
    42. 

  42. negative_second_interval_below bfe5ffffffffffff 0000000000000000 bfe345f01cce37ba 0000000000000000 bfe345f01cce37bb 0000000000000000 1 # x=-0x1.5ffffffffffffp-1 y=0x0.0p+0
    43. 

  43. negative_second_interval_at bfe6000000000000 0000000000000000 bfe345f01cce37bb 0000000000000000 bfe345f01cce37bb 0000000000000000 1 # x=-0x1.6000000000000p-1 y=0x0.0p+0
    44. 

  44. negative_second_interval_above bfe6000000000001 0000000000000000 bfe345f01cce37bc 0000000000000000 bfe345f01cce37bc 0000000000000000 1 # x=-0x1.6000000000001p-1 y=0x0.0p+0
    45. 

  45. third_interval_below 3ff2ffffffffffff 0000000000000000 3febde70ed439fe6 0000000000000000 3febde70ed439fe6 0000000000000000 1 # x=0x1.2ffffffffffffp+0 y=0x0.0p+0
    46. 

  46. third_interval_at 3ff3000000000000 0000000000000000 3febde70ed439fe7 0000000000000000 3febde70ed439fe7 0000000000000000 1 # x=0x1.3000000000000p+0 y=0x0.0p+0
    47. 

  47. third_interval_above 3ff3000000000001 0000000000000000 3febde70ed439fe8 0000000000000000 3febde70ed439fe8 0000000000000000 1 # x=0x1.3000000000001p+0 y=0x0.0p+0
    48. 

  48. negative_third_interval_below bff2ffffffffffff 0000000000000000 bfebde70ed439fe6 0000000000000000 bfebde70ed439fe6 0000000000000000 1 # x=-0x1.2ffffffffffffp+0 y=0x0.0p+0
    49. 

  49. negative_third_interval_at bff3000000000000 0000000000000000 bfebde70ed439fe7 0000000000000000 bfebde70ed439fe7 0000000000000000 1 # x=-0x1.3000000000000p+0 y=0x0.0p+0
    50. 

  50. negative_third_interval_above bff3000000000001 0000000000000000 bfebde70ed439fe8 0000000000000000 bfebde70ed439fe8 0000000000000000 1 # x=-0x1.3000000000001p+0 y=0x0.0p+0
    51. 

  51. reciprocal_interval_below 40037fffffffffff 0000000000000000 3ff2e75728833a54 0000000000000000 3ff2e75728833a54 0000000000000000 1 # x=0x1.37fffffffffffp+1 y=0x0.0p+0
    52. 

  52. reciprocal_interval_at 4003800000000000 0000000000000000 3ff2e75728833a54 0000000000000000 3ff2e75728833a54 0000000000000000 1 # x=0x1.3800000000000p+1 y=0x0.0p+0
    53. 

  53. reciprocal_interval_above 4003800000000001 0000000000000000 3ff2e75728833a54 0000000000000000 3ff2e75728833a54 0000000000000000 1 # x=0x1.3800000000001p+1 y=0x0.0p+0
    54. 

  54. negative_reciprocal_interval_below c0037fffffffffff 0000000000000000 bff2e75728833a54 0000000000000000 bff2e75728833a54 0000000000000000 1 # x=-0x1.37fffffffffffp+1 y=0x0.0p+0
    55. 

  55. negative_reciprocal_interval_at c003800000000000 0000000000000000 bff2e75728833a54 0000000000000000 bff2e75728833a54 0000000000000000 1 # x=-0x1.3800000000000p+1 y=0x0.0p+0
    56. 

  56. negative_reciprocal_interval_above c003800000000001 0000000000000000 bff2e75728833a54 0000000000000000 bff2e75728833a54 0000000000000000 1 # x=-0x1.3800000000001p+1 y=0x0.0p+0
    57. 

  57. asymptote_below 440fffffffffffff 0000000000000000 3ff921fb54442d18 0000000000000000 3ff921fb54442d18 0000000000000000 1 # x=0x1.fffffffffffffp+65 y=0x0.0p+0
    58. 

  58. asymptote_at 4410000000000000 0000000000000000 3ff921fb54442d18 0000000000000000 3ff921fb54442d18 0000000000000000 1 # x=0x1.0000000000000p+66 y=0x0.0p+0
    59. 

  59. asymptote_above 4410000000000001 0000000000000000 3ff921fb54442d18 0000000000000000 3ff921fb54442d18 0000000000000000 1 # x=0x1.0000000000001p+66 y=0x0.0p+0
    60. 

  60. negative_asymptote_below c40fffffffffffff 0000000000000000 bff921fb54442d18 0000000000000000 bff921fb54442d18 0000000000000000 1 # x=-0x1.fffffffffffffp+65 y=0x0.0p+0
    61. 

  61. negative_asymptote_at c410000000000000 0000000000000000 bff921fb54442d18 0000000000000000 bff921fb54442d18 0000000000000000 1 # x=-0x1.0000000000000p+66 y=0x0.0p+0
    62. 

  62. negative_asymptote_above c410000000000001 0000000000000000 bff921fb54442d18 0000000000000000 bff921fb54442d18 0000000000000000 1 # x=-0x1.0000000000001p+66 y=0x0.0p+0
    63.