pocketpy/tests/dmath/cases/atan2.txt

# dmath_atan2
# 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 8036728548f8a013
# case  input0  input1  frozen0  frozen1  reference0  reference1  max_ulp
quadrant_1 4017400000000000 3fcc000000000000 3ff887e768182da0 0000000000000000 3ff887e768182da0 0000000000000000 2 # x=0x1.7400000000000p+2 y=0x1.c000000000000p-3
quadrant_2 4017400000000000 bfcc000000000000 3ff9bc0f40702c91 0000000000000000 3ff9bc0f40702c91 0000000000000000 2 # x=0x1.7400000000000p+2 y=-0x1.c000000000000p-3
quadrant_3 c017400000000000 3fcc000000000000 bff887e768182da0 0000000000000000 bff887e768182da0 0000000000000000 2 # x=-0x1.7400000000000p+2 y=0x1.c000000000000p-3
quadrant_4 c017400000000000 bfcc000000000000 bff9bc0f40702c91 0000000000000000 bff9bc0f40702c91 0000000000000000 2 # x=-0x1.7400000000000p+2 y=-0x1.c000000000000p-3
axes_0000000000000000_0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 2 # x=0x0.0p+0 y=0x0.0p+0
axes_0000000000000000_8000000000000000 0000000000000000 8000000000000000 400921fb54442d18 0000000000000000 400921fb54442d18 0000000000000000 2 # x=0x0.0p+0 y=-0x0.0p+0
axes_0000000000000000_7ff0000000000000 0000000000000000 7ff0000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 2 # x=0x0.0p+0 y=inf
axes_0000000000000000_fff0000000000000 0000000000000000 fff0000000000000 400921fb54442d18 0000000000000000 400921fb54442d18 0000000000000000 2 # x=0x0.0p+0 y=-inf
axes_8000000000000000_0000000000000000 8000000000000000 0000000000000000 8000000000000000 0000000000000000 8000000000000000 0000000000000000 2 # x=-0x0.0p+0 y=0x0.0p+0
axes_8000000000000000_8000000000000000 8000000000000000 8000000000000000 c00921fb54442d18 0000000000000000 c00921fb54442d18 0000000000000000 2 # x=-0x0.0p+0 y=-0x0.0p+0
axes_8000000000000000_7ff0000000000000 8000000000000000 7ff0000000000000 8000000000000000 0000000000000000 8000000000000000 0000000000000000 2 # x=-0x0.0p+0 y=inf
axes_8000000000000000_fff0000000000000 8000000000000000 fff0000000000000 c00921fb54442d18 0000000000000000 c00921fb54442d18 0000000000000000 2 # x=-0x0.0p+0 y=-inf
axes_7ff0000000000000_0000000000000000 7ff0000000000000 0000000000000000 3ff921fb54442d18 0000000000000000 3ff921fb54442d18 0000000000000000 2 # x=inf y=0x0.0p+0
axes_7ff0000000000000_8000000000000000 7ff0000000000000 8000000000000000 3ff921fb54442d18 0000000000000000 3ff921fb54442d18 0000000000000000 2 # x=inf y=-0x0.0p+0
axes_7ff0000000000000_7ff0000000000000 7ff0000000000000 7ff0000000000000 3fe921fb54442d18 0000000000000000 3fe921fb54442d18 0000000000000000 2 # x=inf y=inf
axes_7ff0000000000000_fff0000000000000 7ff0000000000000 fff0000000000000 4002d97c7f3321d2 0000000000000000 4002d97c7f3321d2 0000000000000000 2 # x=inf y=-inf
axes_fff0000000000000_0000000000000000 fff0000000000000 0000000000000000 bff921fb54442d18 0000000000000000 bff921fb54442d18 0000000000000000 2 # x=-inf y=0x0.0p+0
axes_fff0000000000000_8000000000000000 fff0000000000000 8000000000000000 bff921fb54442d18 0000000000000000 bff921fb54442d18 0000000000000000 2 # x=-inf y=-0x0.0p+0
axes_fff0000000000000_7ff0000000000000 fff0000000000000 7ff0000000000000 bfe921fb54442d18 0000000000000000 bfe921fb54442d18 0000000000000000 2 # x=-inf y=inf
axes_fff0000000000000_fff0000000000000 fff0000000000000 fff0000000000000 c002d97c7f3321d2 0000000000000000 c002d97c7f3321d2 0000000000000000 2 # x=-inf y=-inf
positive_zero_ordinate 0000000000000000 c017400000000000 400921fb54442d18 0000000000000000 400921fb54442d18 0000000000000000 2 # x=0x0.0p+0 y=-0x1.7400000000000p+2
positive_zero_abscissa c017400000000000 0000000000000000 bff921fb54442d18 0000000000000000 bff921fb54442d18 0000000000000000 2 # x=-0x1.7400000000000p+2 y=0x0.0p+0
negative_zero_ordinate 8000000000000000 c017400000000000 c00921fb54442d18 0000000000000000 c00921fb54442d18 0000000000000000 2 # x=-0x0.0p+0 y=-0x1.7400000000000p+2
negative_zero_abscissa c017400000000000 8000000000000000 bff921fb54442d18 0000000000000000 bff921fb54442d18 0000000000000000 2 # x=-0x1.7400000000000p+2 y=-0x0.0p+0
least_subnormal_ordinate 0000000000000001 c017400000000000 400921fb54442d18 0000000000000000 400921fb54442d18 0000000000000000 2 # x=0x0.0000000000001p-1022 y=-0x1.7400000000000p+2
least_subnormal_abscissa c017400000000000 0000000000000001 bff921fb54442d18 0000000000000000 bff921fb54442d18 0000000000000000 2 # x=-0x1.7400000000000p+2 y=0x0.0000000000001p-1022
negative_least_subnormal_ordinate 8000000000000001 c017400000000000 c00921fb54442d18 0000000000000000 c00921fb54442d18 0000000000000000 2 # x=-0x0.0000000000001p-1022 y=-0x1.7400000000000p+2
negative_least_subnormal_abscissa c017400000000000 8000000000000001 bff921fb54442d18 0000000000000000 bff921fb54442d18 0000000000000000 2 # x=-0x1.7400000000000p+2 y=-0x0.0000000000001p-1022
third_subnormal_ordinate 0000000000000003 c017400000000000 400921fb54442d18 0000000000000000 400921fb54442d18 0000000000000000 2 # x=0x0.0000000000003p-1022 y=-0x1.7400000000000p+2
third_subnormal_abscissa c017400000000000 0000000000000003 bff921fb54442d18 0000000000000000 bff921fb54442d18 0000000000000000 2 # x=-0x1.7400000000000p+2 y=0x0.0000000000003p-1022
negative_third_subnormal_ordinate 8000000000000003 c017400000000000 c00921fb54442d18 0000000000000000 c00921fb54442d18 0000000000000000 2 # x=-0x0.0000000000003p-1022 y=-0x1.7400000000000p+2
negative_third_subnormal_abscissa c017400000000000 8000000000000003 bff921fb54442d18 0000000000000000 bff921fb54442d18 0000000000000000 2 # x=-0x1.7400000000000p+2 y=-0x0.0000000000003p-1022
largest_subnormal_ordinate 000fffffffffffff c017400000000000 400921fb54442d18 0000000000000000 400921fb54442d18 0000000000000000 2 # x=0x0.fffffffffffffp-1022 y=-0x1.7400000000000p+2
largest_subnormal_abscissa c017400000000000 000fffffffffffff bff921fb54442d18 0000000000000000 bff921fb54442d18 0000000000000000 2 # x=-0x1.7400000000000p+2 y=0x0.fffffffffffffp-1022
negative_largest_subnormal_ordinate 800fffffffffffff c017400000000000 c00921fb54442d18 0000000000000000 c00921fb54442d18 0000000000000000 2 # x=-0x0.fffffffffffffp-1022 y=-0x1.7400000000000p+2
negative_largest_subnormal_abscissa c017400000000000 800fffffffffffff bff921fb54442d18 0000000000000000 bff921fb54442d18 0000000000000000 2 # x=-0x1.7400000000000p+2 y=-0x0.fffffffffffffp-1022
least_normal_ordinate 0010000000000000 c017400000000000 400921fb54442d18 0000000000000000 400921fb54442d18 0000000000000000 2 # x=0x1.0000000000000p-1022 y=-0x1.7400000000000p+2
least_normal_abscissa c017400000000000 0010000000000000 bff921fb54442d18 0000000000000000 bff921fb54442d18 0000000000000000 2 # x=-0x1.7400000000000p+2 y=0x1.0000000000000p-1022
negative_least_normal_ordinate 8010000000000000 c017400000000000 c00921fb54442d18 0000000000000000 c00921fb54442d18 0000000000000000 2 # x=-0x1.0000000000000p-1022 y=-0x1.7400000000000p+2
negative_least_normal_abscissa c017400000000000 8010000000000000 bff921fb54442d18 0000000000000000 bff921fb54442d18 0000000000000000 2 # x=-0x1.7400000000000p+2 y=-0x1.0000000000000p-1022
largest_finite_ordinate 7fefffffffffffff c017400000000000 3ff921fb54442d18 0000000000000000 3ff921fb54442d18 0000000000000000 2 # x=0x1.fffffffffffffp+1023 y=-0x1.7400000000000p+2
largest_finite_abscissa c017400000000000 7fefffffffffffff 8017400000000001 0000000000000000 8017400000000001 0000000000000000 2 # x=-0x1.7400000000000p+2 y=0x1.fffffffffffffp+1023
negative_largest_finite_ordinate ffefffffffffffff c017400000000000 bff921fb54442d18 0000000000000000 bff921fb54442d18 0000000000000000 2 # x=-0x1.fffffffffffffp+1023 y=-0x1.7400000000000p+2
negative_largest_finite_abscissa c017400000000000 ffefffffffffffff c00921fb54442d18 0000000000000000 c00921fb54442d18 0000000000000000 2 # x=-0x1.7400000000000p+2 y=-0x1.fffffffffffffp+1023
positive_infinity_ordinate 7ff0000000000000 c017400000000000 3ff921fb54442d18 0000000000000000 3ff921fb54442d18 0000000000000000 2 # x=inf y=-0x1.7400000000000p+2
positive_infinity_abscissa c017400000000000 7ff0000000000000 8000000000000000 0000000000000000 8000000000000000 0000000000000000 2 # x=-0x1.7400000000000p+2 y=inf
negative_infinity_ordinate fff0000000000000 c017400000000000 bff921fb54442d18 0000000000000000 bff921fb54442d18 0000000000000000 2 # x=-inf y=-0x1.7400000000000p+2
negative_infinity_abscissa c017400000000000 fff0000000000000 c00921fb54442d18 0000000000000000 c00921fb54442d18 0000000000000000 2 # x=-0x1.7400000000000p+2 y=-inf
quiet_nan_payload_ordinate 7ff8abcdef135790 c017400000000000 nan 0000000000000000 nan 0000000000000000 2 # x=nan y=-0x1.7400000000000p+2
quiet_nan_payload_abscissa c017400000000000 7ff8abcdef135790 nan 0000000000000000 nan 0000000000000000 2 # x=-0x1.7400000000000p+2 y=nan
negative_quiet_nan_payload_ordinate fff8abcdef135790 c017400000000000 nan 0000000000000000 nan 0000000000000000 2 # x=nan y=-0x1.7400000000000p+2
negative_quiet_nan_payload_abscissa c017400000000000 fff8abcdef135790 nan 0000000000000000 nan 0000000000000000 2 # x=-0x1.7400000000000p+2 y=nan
signaling_nan_payload_ordinate 7ff0000000010248 c017400000000000 nan 0000000000000000 nan 0000000000000000 2 # x=nan y=-0x1.7400000000000p+2
signaling_nan_payload_abscissa c017400000000000 7ff0000000010248 nan 0000000000000000 nan 0000000000000000 2 # x=-0x1.7400000000000p+2 y=nan
negative_signaling_nan_payload_ordinate fff0000000010248 c017400000000000 nan 0000000000000000 nan 0000000000000000 2 # x=nan y=-0x1.7400000000000p+2
negative_signaling_nan_payload_abscissa c017400000000000 fff0000000010248 nan 0000000000000000 nan 0000000000000000 2 # x=-0x1.7400000000000p+2 y=nan
tiny_ratio 0170000000000000 7830000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 2 # x=0x1.0000000000000p-1000 y=0x1.0000000000000p+900
huge_ratio 7830000000000000 0170000000000000 3ff921fb54442d18 0000000000000000 3ff921fb54442d18 0000000000000000 2 # x=0x1.0000000000000p+900 y=0x1.0000000000000p-1000
tiny_ratio_negative_x 0170000000000000 f830000000000000 400921fb54442d18 0000000000000000 400921fb54442d18 0000000000000000 2 # x=0x1.0000000000000p-1000 y=-0x1.0000000000000p+900
unit_abscissa_shortcut 3ffd000000000000 3ff0000000000000 3ff110eb007f39f7 0000000000000000 3ff110eb007f39f7 0000000000000000 2 # x=0x1.d000000000000p+0 y=0x1.0000000000000p+0