pocketpy/tests/dmath/cases/sqrt.txt

# dmath_sqrt
# 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 f6401f137a0d9229
# case  input0  input1  frozen0  frozen1  reference0  reference1  max_ulp
positive_zero 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0 # x=0x0.0p+0 y=0x0.0p+0
negative_zero 8000000000000000 0000000000000000 8000000000000000 0000000000000000 8000000000000000 0000000000000000 0 # x=-0x0.0p+0 y=0x0.0p+0
least_subnormal 0000000000000001 0000000000000000 1e60000000000000 0000000000000000 1e60000000000000 0000000000000000 0 # x=0x0.0000000000001p-1022 y=0x0.0p+0
negative_least_subnormal 8000000000000001 0000000000000000 nan 0000000000000000 nan 0000000000000000 0 # x=-0x0.0000000000001p-1022 y=0x0.0p+0
third_subnormal 0000000000000003 0000000000000000 1e6bb67ae8584caa 0000000000000000 1e6bb67ae8584caa 0000000000000000 0 # x=0x0.0000000000003p-1022 y=0x0.0p+0
negative_third_subnormal 8000000000000003 0000000000000000 nan 0000000000000000 nan 0000000000000000 0 # x=-0x0.0000000000003p-1022 y=0x0.0p+0
largest_subnormal 000fffffffffffff 0000000000000000 1fffffffffffffff 0000000000000000 1fffffffffffffff 0000000000000000 0 # x=0x0.fffffffffffffp-1022 y=0x0.0p+0
negative_largest_subnormal 800fffffffffffff 0000000000000000 nan 0000000000000000 nan 0000000000000000 0 # x=-0x0.fffffffffffffp-1022 y=0x0.0p+0
least_normal 0010000000000000 0000000000000000 2000000000000000 0000000000000000 2000000000000000 0000000000000000 0 # x=0x1.0000000000000p-1022 y=0x0.0p+0
negative_least_normal 8010000000000000 0000000000000000 nan 0000000000000000 nan 0000000000000000 0 # x=-0x1.0000000000000p-1022 y=0x0.0p+0
largest_finite 7fefffffffffffff 0000000000000000 5fefffffffffffff 0000000000000000 5fefffffffffffff 0000000000000000 0 # x=0x1.fffffffffffffp+1023 y=0x0.0p+0
negative_largest_finite ffefffffffffffff 0000000000000000 nan 0000000000000000 nan 0000000000000000 0 # x=-0x1.fffffffffffffp+1023 y=0x0.0p+0
positive_infinity 7ff0000000000000 0000000000000000 +inf 0000000000000000 +inf 0000000000000000 0 # x=inf y=0x0.0p+0
negative_infinity fff0000000000000 0000000000000000 nan 0000000000000000 nan 0000000000000000 0 # x=-inf y=0x0.0p+0
quiet_nan_payload 7ff8abcdef135790 0000000000000000 nan 0000000000000000 nan 0000000000000000 0 # x=nan y=0x0.0p+0
negative_quiet_nan_payload fff8abcdef135790 0000000000000000 nan 0000000000000000 nan 0000000000000000 0 # x=nan y=0x0.0p+0
signaling_nan_payload 7ff0000000010248 0000000000000000 nan 0000000000000000 nan 0000000000000000 0 # x=nan y=0x0.0p+0
negative_signaling_nan_payload fff0000000010248 0000000000000000 nan 0000000000000000 nan 0000000000000000 0 # x=nan y=0x0.0p+0
exact_square 4069d48000000000 0000000000000000 402cc00000000000 0000000000000000 402cc00000000000 0000000000000000 0 # x=0x1.9d48000000000p+7 y=0x0.0p+0
irrational 402b400000000000 0000000000000000 400d8796e35ddbb2 0000000000000000 400d8796e35ddbb2 0000000000000000 0 # x=0x1.b400000000000p+3 y=0x0.0p+0
wide_significand 598a5c739b18426f 0000000000000000 4cbd0b466b13b005 0000000000000000 4cbd0b466b13b005 0000000000000000 0 # x=0x1.a5c739b18426fp+409 y=0x0.0p+0
square_neighbor_below 4069d47fffffffff 0000000000000000 402cbfffffffffff 0000000000000000 402cbfffffffffff 0000000000000000 0 # x=0x1.9d47fffffffffp+7 y=0x0.0p+0
square_neighbor_at 4069d48000000000 0000000000000000 402cc00000000000 0000000000000000 402cc00000000000 0000000000000000 0 # x=0x1.9d48000000000p+7 y=0x0.0p+0
square_neighbor_above 4069d48000000001 0000000000000000 402cc00000000001 0000000000000000 402cc00000000001 0000000000000000 0 # x=0x1.9d48000000001p+7 y=0x0.0p+0
normal_subnormal_transition_below 000fffffffffffff 0000000000000000 1fffffffffffffff 0000000000000000 1fffffffffffffff 0000000000000000 0 # x=0x0.fffffffffffffp-1022 y=0x0.0p+0
normal_subnormal_transition_at 0010000000000000 0000000000000000 2000000000000000 0000000000000000 2000000000000000 0000000000000000 0 # x=0x1.0000000000000p-1022 y=0x0.0p+0
normal_subnormal_transition_above 0010000000000001 0000000000000000 2000000000000000 0000000000000000 2000000000000000 0000000000000000 0 # x=0x1.0000000000001p-1022 y=0x0.0p+0