pocketpy/tests/dmath/cases/fmod.txt

# dmath_fmod
# 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 2bf75fc2f5e2050b
# case  input0  input1  frozen0  frozen1  reference0  reference1  max_ulp
positive_remainder 404ae00000000000 401e000000000000 3ff4000000000000 0000000000000000 3ff4000000000000 0000000000000000 0 # x=0x1.ae00000000000p+5 y=0x1.e000000000000p+2
negative_remainder c04ae00000000000 401e000000000000 bff4000000000000 0000000000000000 bff4000000000000 0000000000000000 0 # x=-0x1.ae00000000000p+5 y=0x1.e000000000000p+2
negative_divisor 404ae00000000000 c01e000000000000 3ff4000000000000 0000000000000000 3ff4000000000000 0000000000000000 0 # x=0x1.ae00000000000p+5 y=-0x1.e000000000000p+2
both_negative c04ae00000000000 c01e000000000000 bff4000000000000 0000000000000000 bff4000000000000 0000000000000000 0 # x=-0x1.ae00000000000p+5 y=-0x1.e000000000000p+2
positive_exact_multiple 404a400000000000 401e000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0 # x=0x1.a400000000000p+5 y=0x1.e000000000000p+2
negative_exact_multiple c04a400000000000 401e000000000000 8000000000000000 0000000000000000 8000000000000000 0000000000000000 0 # x=-0x1.a400000000000p+5 y=0x1.e000000000000p+2
quotient_exceeds_double 783abcdef0000000 07a7000000000000 079c000000000000 0000000000000000 079c000000000000 0000000000000000 0 # x=0x1.abcdef0000000p+900 y=0x1.7000000000000p-901
subnormal_remainder 0010000000000001 0010000000000000 0000000000000001 0000000000000000 0000000000000001 0000000000000000 0 # x=0x1.0000000000001p-1022 y=0x1.0000000000000p-1022
subnormal_division 000000000000001d 0000000000000007 0000000000000001 0000000000000000 0000000000000001 0000000000000000 0 # x=0x0.000000000001dp-1022 y=0x0.0000000000007p-1022
negative_subnormal_division 800000000000001d 0000000000000007 8000000000000001 0000000000000000 8000000000000001 0000000000000000 0 # x=-0x0.000000000001dp-1022 y=0x0.0000000000007p-1022
positive_zero_dividend 0000000000000000 401e000000000000 0000000000000000 0000000000000000 0000000000000000 0000000000000000 0 # x=0x0.0p+0 y=0x1.e000000000000p+2
positive_zero_divisor c04ae00000000000 0000000000000000 nan 0000000000000000 nan 0000000000000000 0 # x=-0x1.ae00000000000p+5 y=0x0.0p+0
negative_zero_dividend 8000000000000000 401e000000000000 8000000000000000 0000000000000000 8000000000000000 0000000000000000 0 # x=-0x0.0p+0 y=0x1.e000000000000p+2
negative_zero_divisor c04ae00000000000 8000000000000000 nan 0000000000000000 nan 0000000000000000 0 # x=-0x1.ae00000000000p+5 y=-0x0.0p+0
least_subnormal_dividend 0000000000000001 401e000000000000 0000000000000001 0000000000000000 0000000000000001 0000000000000000 0 # x=0x0.0000000000001p-1022 y=0x1.e000000000000p+2
least_subnormal_divisor c04ae00000000000 0000000000000001 8000000000000000 0000000000000000 8000000000000000 0000000000000000 0 # x=-0x1.ae00000000000p+5 y=0x0.0000000000001p-1022
negative_least_subnormal_dividend 8000000000000001 401e000000000000 8000000000000001 0000000000000000 8000000000000001 0000000000000000 0 # x=-0x0.0000000000001p-1022 y=0x1.e000000000000p+2
negative_least_subnormal_divisor c04ae00000000000 8000000000000001 8000000000000000 0000000000000000 8000000000000000 0000000000000000 0 # x=-0x1.ae00000000000p+5 y=-0x0.0000000000001p-1022
third_subnormal_dividend 0000000000000003 401e000000000000 0000000000000003 0000000000000000 0000000000000003 0000000000000000 0 # x=0x0.0000000000003p-1022 y=0x1.e000000000000p+2
third_subnormal_divisor c04ae00000000000 0000000000000003 8000000000000002 0000000000000000 8000000000000002 0000000000000000 0 # x=-0x1.ae00000000000p+5 y=0x0.0000000000003p-1022
negative_third_subnormal_dividend 8000000000000003 401e000000000000 8000000000000003 0000000000000000 8000000000000003 0000000000000000 0 # x=-0x0.0000000000003p-1022 y=0x1.e000000000000p+2
negative_third_subnormal_divisor c04ae00000000000 8000000000000003 8000000000000002 0000000000000000 8000000000000002 0000000000000000 0 # x=-0x1.ae00000000000p+5 y=-0x0.0000000000003p-1022
largest_subnormal_dividend 000fffffffffffff 401e000000000000 000fffffffffffff 0000000000000000 000fffffffffffff 0000000000000000 0 # x=0x0.fffffffffffffp-1022 y=0x1.e000000000000p+2
largest_subnormal_divisor c04ae00000000000 000fffffffffffff 800000d700000000 0000000000000000 800000d700000000 0000000000000000 0 # x=-0x1.ae00000000000p+5 y=0x0.fffffffffffffp-1022
negative_largest_subnormal_dividend 800fffffffffffff 401e000000000000 800fffffffffffff 0000000000000000 800fffffffffffff 0000000000000000 0 # x=-0x0.fffffffffffffp-1022 y=0x1.e000000000000p+2
negative_largest_subnormal_divisor c04ae00000000000 800fffffffffffff 800000d700000000 0000000000000000 800000d700000000 0000000000000000 0 # x=-0x1.ae00000000000p+5 y=-0x0.fffffffffffffp-1022
least_normal_dividend 0010000000000000 401e000000000000 0010000000000000 0000000000000000 0010000000000000 0000000000000000 0 # x=0x1.0000000000000p-1022 y=0x1.e000000000000p+2
least_normal_divisor c04ae00000000000 0010000000000000 8000000000000000 0000000000000000 8000000000000000 0000000000000000 0 # x=-0x1.ae00000000000p+5 y=0x1.0000000000000p-1022
negative_least_normal_dividend 8010000000000000 401e000000000000 8010000000000000 0000000000000000 8010000000000000 0000000000000000 0 # x=-0x1.0000000000000p-1022 y=0x1.e000000000000p+2
negative_least_normal_divisor c04ae00000000000 8010000000000000 8000000000000000 0000000000000000 8000000000000000 0000000000000000 0 # x=-0x1.ae00000000000p+5 y=-0x1.0000000000000p-1022
largest_finite_dividend 7fefffffffffffff 401e000000000000 3fe0000000000000 0000000000000000 3fe0000000000000 0000000000000000 0 # x=0x1.fffffffffffffp+1023 y=0x1.e000000000000p+2
largest_finite_divisor c04ae00000000000 7fefffffffffffff c04ae00000000000 0000000000000000 c04ae00000000000 0000000000000000 0 # x=-0x1.ae00000000000p+5 y=0x1.fffffffffffffp+1023
negative_largest_finite_dividend ffefffffffffffff 401e000000000000 bfe0000000000000 0000000000000000 bfe0000000000000 0000000000000000 0 # x=-0x1.fffffffffffffp+1023 y=0x1.e000000000000p+2
negative_largest_finite_divisor c04ae00000000000 ffefffffffffffff c04ae00000000000 0000000000000000 c04ae00000000000 0000000000000000 0 # x=-0x1.ae00000000000p+5 y=-0x1.fffffffffffffp+1023
positive_infinity_dividend 7ff0000000000000 401e000000000000 nan 0000000000000000 nan 0000000000000000 0 # x=inf y=0x1.e000000000000p+2
positive_infinity_divisor c04ae00000000000 7ff0000000000000 c04ae00000000000 0000000000000000 c04ae00000000000 0000000000000000 0 # x=-0x1.ae00000000000p+5 y=inf
negative_infinity_dividend fff0000000000000 401e000000000000 nan 0000000000000000 nan 0000000000000000 0 # x=-inf y=0x1.e000000000000p+2
negative_infinity_divisor c04ae00000000000 fff0000000000000 c04ae00000000000 0000000000000000 c04ae00000000000 0000000000000000 0 # x=-0x1.ae00000000000p+5 y=-inf
quiet_nan_payload_dividend 7ff8abcdef135790 401e000000000000 nan 0000000000000000 nan 0000000000000000 0 # x=nan y=0x1.e000000000000p+2
quiet_nan_payload_divisor c04ae00000000000 7ff8abcdef135790 nan 0000000000000000 nan 0000000000000000 0 # x=-0x1.ae00000000000p+5 y=nan
negative_quiet_nan_payload_dividend fff8abcdef135790 401e000000000000 nan 0000000000000000 nan 0000000000000000 0 # x=nan y=0x1.e000000000000p+2
negative_quiet_nan_payload_divisor c04ae00000000000 fff8abcdef135790 nan 0000000000000000 nan 0000000000000000 0 # x=-0x1.ae00000000000p+5 y=nan
signaling_nan_payload_dividend 7ff0000000010248 401e000000000000 nan 0000000000000000 nan 0000000000000000 0 # x=nan y=0x1.e000000000000p+2
signaling_nan_payload_divisor c04ae00000000000 7ff0000000010248 nan 0000000000000000 nan 0000000000000000 0 # x=-0x1.ae00000000000p+5 y=nan
negative_signaling_nan_payload_dividend fff0000000010248 401e000000000000 nan 0000000000000000 nan 0000000000000000 0 # x=nan y=0x1.e000000000000p+2
negative_signaling_nan_payload_divisor c04ae00000000000 fff0000000010248 nan 0000000000000000 nan 0000000000000000 0 # x=-0x1.ae00000000000p+5 y=nan