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.

1 Like

Got it. Thank you all very much.