pocketpy/tests/dmath/cases/log_base.txt

# dmath_log_base
# Independent oracle: Decimal at 430 and 570 digits / exact Fraction arithmetic.
# Frozen bits and sweep require review; generation never recalibrates them.
# Nonfinite outputs: nan checks classification; +/-inf checks classification and sign.
# sweep 1c7f9575a557b7e6
# case  input0  input1  frozen0  frozen1  reference0  reference1  max_ulp
base_above_one 4033600000000000 400a000000000000 40041e23ddab6742 0000000000000000 40041e23ddab6743 0000000000000000 3 # x=0x1.3600000000000p+4 y=0x1.a000000000000p+1
base_below_one 4033600000000000 3fd4000000000000 c00462c9eb983411 0000000000000000 c00462c9eb983411 0000000000000000 3 # x=0x1.3600000000000p+4 y=0x1.4000000000000p-2
argument_below_one 3fd4000000000000 400a000000000000 bfef943dc7baeb42 0000000000000000 bfef943dc7baeb43 0000000000000000 3 # x=0x1.4000000000000p-2 y=0x1.a000000000000p+1
equal_base_and_argument 400a000000000000 400a000000000000 3ff0000000000000 0000000000000000 3ff0000000000000 0000000000000000 3 # x=0x1.a000000000000p+1 y=0x1.a000000000000p+1
zero_result_sign 3ff0000000000000 3fd4000000000000 8000000000000000 0000000000000000 8000000000000000 0000000000000000 3 # x=0x1.0000000000000p+0 y=0x1.4000000000000p-2
base_one_positive 4033600000000000 3ff0000000000000 +inf 0000000000000000 +inf 0000000000000000 3 # x=0x1.3600000000000p+4 y=0x1.0000000000000p+0
base_one_negative 3fd4000000000000 3ff0000000000000 -inf 0000000000000000 -inf 0000000000000000 3 # x=0x1.4000000000000p-2 y=0x1.0000000000000p+0
both_one 3ff0000000000000 3ff0000000000000 nan 0000000000000000 nan 0000000000000000 3 # x=0x1.0000000000000p+0 y=0x1.0000000000000p+0
near_one_pair 3ff0000000000003 3ff0000000000007 3fdb6db6db6db6df 0000000000000000 3fdb6db6db6db6df 0000000000000000 3 # x=0x1.0000000000003p+0 y=0x1.0000000000007p+0
positive_zero_argument 0000000000000000 400a000000000000 -inf 0000000000000000 -inf 0000000000000000 3 # x=0x0.0p+0 y=0x1.a000000000000p+1
positive_zero_base 4033600000000000 0000000000000000 8000000000000000 0000000000000000 8000000000000000 0000000000000000 3 # x=0x1.3600000000000p+4 y=0x0.0p+0
negative_zero_argument 8000000000000000 400a000000000000 -inf 0000000000000000 -inf 0000000000000000 3 # x=-0x0.0p+0 y=0x1.a000000000000p+1
negative_zero_base 4033600000000000 8000000000000000 8000000000000000 0000000000000000 8000000000000000 0000000000000000 3 # x=0x1.3600000000000p+4 y=-0x0.0p+0
least_subnormal_argument 0000000000000001 400a000000000000 c083bccf89f010e7 0000000000000000 c083bccf89f010e8 0000000000000000 3 # x=0x0.0000000000001p-1022 y=0x1.a000000000000p+1
least_subnormal_base 4033600000000000 0000000000000001 bf704ee61ea9d42b 0000000000000000 bf704ee61ea9d42b 0000000000000000 3 # x=0x1.3600000000000p+4 y=0x0.0000000000001p-1022
negative_least_subnormal_argument 8000000000000001 400a000000000000 nan 0000000000000000 nan 0000000000000000 3 # x=-0x0.0000000000001p-1022 y=0x1.a000000000000p+1
negative_least_subnormal_base 4033600000000000 8000000000000001 nan 0000000000000000 nan 0000000000000000 3 # x=0x1.3600000000000p+4 y=-0x0.0000000000001p-1022
third_subnormal_argument 0000000000000003 400a000000000000 c083b55a9e721634 0000000000000000 c083b55a9e721634 0000000000000000 3 # x=0x0.0000000000003p-1022 y=0x1.a000000000000p+1
third_subnormal_base 4033600000000000 0000000000000003 bf705511b383d651 0000000000000000 bf705511b383d651 0000000000000000 3 # x=0x1.3600000000000p+4 y=0x0.0000000000003p-1022
negative_third_subnormal_argument 8000000000000003 400a000000000000 nan 0000000000000000 nan 0000000000000000 3 # x=-0x0.0000000000003p-1022 y=0x1.a000000000000p+1
negative_third_subnormal_base 4033600000000000 8000000000000003 nan 0000000000000000 nan 0000000000000000 3 # x=0x1.3600000000000p+4 y=-0x0.0000000000003p-1022
largest_subnormal_argument 000fffffffffffff 400a000000000000 c082c82b0843c988 0000000000000000 c082c82b0843c988 0000000000000000 3 # x=0x0.fffffffffffffp-1022 y=0x1.a000000000000p+1
largest_subnormal_base 4033600000000000 000fffffffffffff bf712352042b34a1 0000000000000000 bf712352042b34a1 0000000000000000 3 # x=0x1.3600000000000p+4 y=0x0.fffffffffffffp-1022
negative_largest_subnormal_argument 800fffffffffffff 400a000000000000 nan 0000000000000000 nan 0000000000000000 3 # x=-0x0.fffffffffffffp-1022 y=0x1.a000000000000p+1
negative_largest_subnormal_base 4033600000000000 800fffffffffffff nan 0000000000000000 nan 0000000000000000 3 # x=0x1.3600000000000p+4 y=-0x0.fffffffffffffp-1022
least_normal_argument 0010000000000000 400a000000000000 c082c82b0843c988 0000000000000000 c082c82b0843c988 0000000000000000 3 # x=0x1.0000000000000p-1022 y=0x1.a000000000000p+1
least_normal_base 4033600000000000 0010000000000000 bf712352042b34a1 0000000000000000 bf712352042b34a1 0000000000000000 3 # x=0x1.3600000000000p+4 y=0x1.0000000000000p-1022
negative_least_normal_argument 8010000000000000 400a000000000000 nan 0000000000000000 nan 0000000000000000 3 # x=-0x1.0000000000000p-1022 y=0x1.a000000000000p+1
negative_least_normal_base 4033600000000000 8010000000000000 nan 0000000000000000 nan 0000000000000000 3 # x=0x1.3600000000000p+4 y=-0x1.0000000000000p-1022
largest_finite_argument 7fefffffffffffff 400a000000000000 4082d193d22cdff8 0000000000000000 4082d193d22cdff8 0000000000000000 3 # x=0x1.fffffffffffffp+1023 y=0x1.a000000000000p+1
largest_finite_base 4033600000000000 7fefffffffffffff 3f711ac05b291f07 0000000000000000 3f711ac05b291f07 0000000000000000 3 # x=0x1.3600000000000p+4 y=0x1.fffffffffffffp+1023
negative_largest_finite_argument ffefffffffffffff 400a000000000000 nan 0000000000000000 nan 0000000000000000 3 # x=-0x1.fffffffffffffp+1023 y=0x1.a000000000000p+1
negative_largest_finite_base 4033600000000000 ffefffffffffffff nan 0000000000000000 nan 0000000000000000 3 # x=0x1.3600000000000p+4 y=-0x1.fffffffffffffp+1023
positive_infinity_argument 7ff0000000000000 400a000000000000 +inf 0000000000000000 +inf 0000000000000000 3 # x=inf y=0x1.a000000000000p+1
positive_infinity_base 4033600000000000 7ff0000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 3 # x=0x1.3600000000000p+4 y=inf
negative_infinity_argument fff0000000000000 400a000000000000 nan 0000000000000000 nan 0000000000000000 3 # x=-inf y=0x1.a000000000000p+1
negative_infinity_base 4033600000000000 fff0000000000000 nan 0000000000000000 nan 0000000000000000 3 # x=0x1.3600000000000p+4 y=-inf
quiet_nan_payload_argument 7ff8abcdef135790 400a000000000000 nan 0000000000000000 nan 0000000000000000 3 # x=nan y=0x1.a000000000000p+1
quiet_nan_payload_base 4033600000000000 7ff8abcdef135790 nan 0000000000000000 nan 0000000000000000 3 # x=0x1.3600000000000p+4 y=nan
negative_quiet_nan_payload_argument fff8abcdef135790 400a000000000000 nan 0000000000000000 nan 0000000000000000 3 # x=nan y=0x1.a000000000000p+1
negative_quiet_nan_payload_base 4033600000000000 fff8abcdef135790 nan 0000000000000000 nan 0000000000000000 3 # x=0x1.3600000000000p+4 y=nan
signaling_nan_payload_argument 7ff0000000010248 400a000000000000 nan 0000000000000000 nan 0000000000000000 3 # x=nan y=0x1.a000000000000p+1
signaling_nan_payload_base 4033600000000000 7ff0000000010248 nan 0000000000000000 nan 0000000000000000 3 # x=0x1.3600000000000p+4 y=nan
negative_signaling_nan_payload_argument fff0000000010248 400a000000000000 nan 0000000000000000 nan 0000000000000000 3 # x=nan y=0x1.a000000000000p+1
negative_signaling_nan_payload_base 4033600000000000 fff0000000010248 nan 0000000000000000 nan 0000000000000000 3 # x=0x1.3600000000000p+4 y=nan
both_infinite 7ff0000000000000 7ff0000000000000 nan 0000000000000000 nan 0000000000000000 3 # x=inf y=inf
both_zero 0000000000000000 0000000000000000 nan 0000000000000000 nan 0000000000000000 3 # x=0x0.0p+0 y=0x0.0p+0