variant: correct
5I^2+15I+3 at I-: (0 + 0 s)  at I+: (0 + 0 s)
f(I-) = (-22 + -231/25 s)  f(I+) = (-22 + 231/25 s)
f(I+)/f(I-) - Q = (0 + 0 s)
coefficients of t^0..t^14 whose normal form is NOT zero: []
Q^2 - 1 = (58212000/197486809 + -12644520/197486809 s) (nonzero: True )
RESULT[correct]: PASS (nonzero coefficient indices: [])
RESULT[q3_scaled]: FAIL (nonzero coefficient indices: [7])
RESULT[roots_swapped]: FAIL (nonzero coefficient indices: [7])
RESULT[exponent6]: FAIL (nonzero coefficient indices: [1, 4, 7, 10, 13])
RESULT[omega_to_i]: FAIL (nonzero coefficient indices: [0, 2, 3, 5, 6, 8, 9, 11, 12, 14])
RESULT[q3_other_conjugate]: FAIL (nonzero coefficient indices: [7])
summary: {'correct': True, 'q3_scaled': False, 'roots_swapped': False, 'exponent6': False, 'omega_to_i': False, 'q3_other_conjugate': False}
OVERALL: correct identity verified and all corruptions rejected
time 0.7s
