Acasă Explorează Ajutor
Înregistrare Autentificare
gugdun
/
pocketpy
oglindă de https://github.com/pocketpy/pocketpy
1
0
Bifurcare 0
Fisiere Probleme 0 Wiki
Ramură: main
Ramuri Etichete
pocketpy
/
tests
/
dmath
/
cases
/
log.txt

log.txt 4.1 KB
Permalink Istoric Crud

123456789101112131415161718192021222324252627282930313233 
  1. # dmath_log
    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 f4f35139ad63a3c8
    6. 

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

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

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

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

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

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

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

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

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

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

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

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

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

  19. positive_infinity 7ff0000000000000 0000000000000000 +inf 0000000000000000 +inf 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. near_one_below 3fefffffffffffff 0000000000000000 bca0000000000000 0000000000000000 bca0000000000000 0000000000000000 1 # x=0x1.fffffffffffffp-1 y=0x0.0p+0
    26. 

  26. near_one_at 3ff0000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 1 # x=0x1.0000000000000p+0 y=0x0.0p+0
    27. 

  27. near_one_above 3ff0000000000001 0000000000000000 3cafffffffffffff 0000000000000000 3cafffffffffffff 0000000000000000 1 # x=0x1.0000000000001p+0 y=0x0.0p+0
    28. 

  28. normalize_below 3ff6a09dffffffff 0000000000000000 3fd62e41dd1274cb 0000000000000000 3fd62e41dd1274cb 0000000000000000 1 # x=0x1.6a09dffffffffp+0 y=0x0.0p+0
    29. 

  29. normalize_at 3ff6a09e00000000 0000000000000000 3fd62e41dd1274ce 0000000000000000 3fd62e41dd1274ce 0000000000000000 1 # x=0x1.6a09e00000000p+0 y=0x0.0p+0
    30. 

  30. normalize_above 3ff6a09e00000001 0000000000000000 3fd62e41dd1274d1 0000000000000000 3fd62e41dd1274d1 0000000000000000 1 # x=0x1.6a09e00000001p+0 y=0x0.0p+0
    31. 

  31. less_than_one 3fc6000000000000 0000000000000000 bffc2d018df03f36 0000000000000000 bffc2d018df03f36 0000000000000000 1 # x=0x1.6000000000000p-3 y=0x0.0p+0
    32. 

  32. greater_than_one 4037900000000000 0000000000000000 400946f9f8055080 0000000000000000 400946f9f8055081 0000000000000000 1 # x=0x1.7900000000000p+4 y=0x0.0p+0
    33. 

  33. wide_exponent 6d2a9bcdef012345 0000000000000000 407f5a770537865a 0000000000000000 407f5a770537865a 0000000000000000 1 # x=0x1.a9bcdef012345p+723 y=0x0.0p+0
    34.