in src/math_verify/grader.py [0:0]
def sympy_symbolic_eq(a: Basic | MatrixBase, b: Basic | MatrixBase) -> bool:
"""Compare two sympy expressions symbolically.
Args:
a: First sympy expression
b: Second sympy expression
Returns:
True if expressions are symbolically equal, False otherwise
"""
try:
a_b_diff = simplify((a - b)) # type: ignore
if isinstance(a_b_diff, MatrixBase) and a_b_diff.is_zero_matrix:
return True
elif isinstance(a_b_diff, Basic) and a_b_diff.is_zero:
return True
except Exception:
pass
return False