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

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

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748 
  1. # dmath_cos
    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 dd5127d63bcdaf72
    6. 

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  20. negative_infinity fff0000000000000 0000000000000000 nan 0000000000000000 nan 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. small_positive_angle 3fd6000000000000 0000000000000000 3fee20bf49acd6c1 0000000000000000 3fee20bf49acd6c1 0000000000000000 1 # x=0x1.6000000000000p-2 y=0x0.0p+0
    26. 

  26. small_negative_angle bfd6000000000000 0000000000000000 3fee20bf49acd6c1 0000000000000000 3fee20bf49acd6c1 0000000000000000 1 # x=-0x1.6000000000000p-2 y=0x0.0p+0
    27. 

  27. moderate_positive_angle 4045e80000000000 0000000000000000 3fef8a30fe6ef96c 0000000000000000 3fef8a30fe6ef96c 0000000000000000 1 # x=0x1.5e80000000000p+5 y=0x0.0p+0
    28. 

  28. moderate_negative_angle c045e80000000000 0000000000000000 3fef8a30fe6ef96c 0000000000000000 3fef8a30fe6ef96c 0000000000000000 1 # x=-0x1.5e80000000000p+5 y=0x0.0p+0
    29. 

  29. large_reduction 428a5c739b18426f 0000000000000000 3fda2a49d24e0f94 0000000000000000 3fda2a49d24e0f94 0000000000000000 1 # x=0x1.a5c739b18426fp+41 y=0x0.0p+0
    30. 

  30. very_large_reduction 72a73b4a82cf19de 0000000000000000 3fe4832d2f71ebb6 0000000000000000 3fe4832d2f71ebb6 0000000000000000 1 # x=0x1.73b4a82cf19dep+811 y=0x0.0p+0
    31. 

  31. quarter_turn_kernel_below 3fe921fb54442d17 0000000000000000 3fe6a09e667f3bce 0000000000000000 3fe6a09e667f3bcd 0000000000000000 1 # x=0x1.921fb54442d17p-1 y=0x0.0p+0
    32. 

  32. quarter_turn_kernel_at 3fe921fb54442d18 0000000000000000 3fe6a09e667f3bcd 0000000000000000 3fe6a09e667f3bcd 0000000000000000 1 # x=0x1.921fb54442d18p-1 y=0x0.0p+0
    33. 

  33. quarter_turn_kernel_above 3fe921fb54442d19 0000000000000000 3fe6a09e667f3bcc 0000000000000000 3fe6a09e667f3bcc 0000000000000000 1 # x=0x1.921fb54442d19p-1 y=0x0.0p+0
    34. 

  34. negative_quarter_turn_kernel_below bfe921fb54442d17 0000000000000000 3fe6a09e667f3bce 0000000000000000 3fe6a09e667f3bcd 0000000000000000 1 # x=-0x1.921fb54442d17p-1 y=0x0.0p+0
    35. 

  35. negative_quarter_turn_kernel_at bfe921fb54442d18 0000000000000000 3fe6a09e667f3bcd 0000000000000000 3fe6a09e667f3bcd 0000000000000000 1 # x=-0x1.921fb54442d18p-1 y=0x0.0p+0
    36. 

  36. negative_quarter_turn_kernel_above bfe921fb54442d19 0000000000000000 3fe6a09e667f3bcc 0000000000000000 3fe6a09e667f3bcc 0000000000000000 1 # x=-0x1.921fb54442d19p-1 y=0x0.0p+0
    37. 

  37. medium_reduction_cutoff_below 413921faffffffff 0000000000000000 3fee483125700ac3 0000000000000000 3fee483125700ac3 0000000000000000 1 # x=0x1.921faffffffffp+20 y=0x0.0p+0
    38. 

  38. medium_reduction_cutoff_at 413921fb00000000 0000000000000000 3fee4831257a62da 0000000000000000 3fee4831257a62da 0000000000000000 1 # x=0x1.921fb00000000p+20 y=0x0.0p+0
    39. 

  39. medium_reduction_cutoff_above 413921fb00000001 0000000000000000 3fee48312584baf1 0000000000000000 3fee48312584baf1 0000000000000000 1 # x=0x1.921fb00000001p+20 y=0x0.0p+0
    40. 

  40. negative_medium_reduction_cutoff_below c13921faffffffff 0000000000000000 3fee483125700ac3 0000000000000000 3fee483125700ac3 0000000000000000 1 # x=-0x1.921faffffffffp+20 y=0x0.0p+0
    41. 

  41. negative_medium_reduction_cutoff_at c13921fb00000000 0000000000000000 3fee4831257a62da 0000000000000000 3fee4831257a62da 0000000000000000 1 # x=-0x1.921fb00000000p+20 y=0x0.0p+0
    42. 

  42. negative_medium_reduction_cutoff_above c13921fb00000001 0000000000000000 3fee48312584baf1 0000000000000000 3fee48312584baf1 0000000000000000 1 # x=-0x1.921fb00000001p+20 y=0x0.0p+0
    43. 

  43. tiny_cutoff_below 3e46a09dffffffff 0000000000000000 3ff0000000000000 0000000000000000 3ff0000000000000 0000000000000000 1 # x=0x1.6a09dffffffffp-27 y=0x0.0p+0
    44. 

  44. tiny_cutoff_at 3e46a09e00000000 0000000000000000 3ff0000000000000 0000000000000000 3ff0000000000000 0000000000000000 1 # x=0x1.6a09e00000000p-27 y=0x0.0p+0
    45. 

  45. tiny_cutoff_above 3e46a09e00000001 0000000000000000 3ff0000000000000 0000000000000000 3ff0000000000000 0000000000000000 1 # x=0x1.6a09e00000001p-27 y=0x0.0p+0
    46. 

  46. negative_tiny_cutoff_below be46a09dffffffff 0000000000000000 3ff0000000000000 0000000000000000 3ff0000000000000 0000000000000000 1 # x=-0x1.6a09dffffffffp-27 y=0x0.0p+0
    47. 

  47. negative_tiny_cutoff_at be46a09e00000000 0000000000000000 3ff0000000000000 0000000000000000 3ff0000000000000 0000000000000000 1 # x=-0x1.6a09e00000000p-27 y=0x0.0p+0
    48. 

  48. negative_tiny_cutoff_above be46a09e00000001 0000000000000000 3ff0000000000000 0000000000000000 3ff0000000000000 0000000000000000 1 # x=-0x1.6a09e00000001p-27 y=0x0.0p+0
    49.