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
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
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.
Got it. Thank you all very much.