Verify the equivalence of different symbolic representations of the same mathematical result

Are there general methods to verify the equivalence of different symbolic representations of the same mathematical result, e.g., via python packages, say, sympy?

Regards,
HY

Please read FAQ · sympy/sympy Wiki · GitHub.

Better link:

https://docs.sympy.org/latest/tutorial/gotchas.html#equals-signs

Basically, the best way to test if a and b are equal (in SymPy at least) is to see if a - b is simplified to 0. There are theoretical limitations, but in practice it works well.

1 Like

Got it. Thank you all very much.