`verify` only works on `sympy` objects and strings, contrary to its docstring

[gsganden]

https://github.com/gsganden/Math-Verify/blob/main/src/math_verify/grader.py#L659 is wrong: verify(sympy.Rational(1, 3), 0.333333) returns False. The single comparisons that verify does internally (https://github.com/gsganden/Math-Verify/blob/main/src/math_verify/grader.py#L667) always return False unless either both expressions are sympy objects or both expressions are strings.

This behavior makes sense on the assumption that the inputs to verify have gone through parse. I'd suggest updating the verify docstring to state this assumption and raising an error for any non-string, non-sympy inputs.

Would you like me to create a PR with these changes?

[gsganden]

Correction: the verify docstring does say that gold and target should be sympy expressions, strings, or lists thereof. However, the example violates this rule (and does not match the function's behavior), and there are no checks to ensure that users don't violate it.

[gsganden]

Moreover, the function assumes that gold and target are not just combinations of sympy expressions and strings but are parse outputs in how it handles the comparison between a sympy expression and string, per https://github.com/gsganden/Math-Verify/blob/main/src/math_verify/grader.py#L672-L675. The docstring does not state this assumption. The fact that e.g. verify(sympy.Number(1), "1") returns False is potentially surprising without this information.

[hynky1999]

Hi, I have updated the docstring thanks for suggestion