Ask Your Question

Revision history [back]

click to hide/show revision 1
initial version

Is it possible to ask sage check symbolic equality by comparing parts within equations?

So I have a case with two complicated equations, when substitutes with certain parameters, those two functions equal each other. I know that sage is capable on comparing simple equations like 2*x+4==2*x+4 and print(True) could print True properly, but when functions grow more complicate, it couldn't.

But when I call show() on my functions that sage return to me after symbolic substitution, they're identical, like everything. Which makes me wonder since everything are exactly the same, why sage couldn't properly evaluate equality? And is there any way I could hack around it? Perhaps like breaking them into small parts and ensure each parts are identical?

Is it possible to ask sage check symbolic equality by comparing parts within equations?

So I have a case with two complicated equations, when substitutes with certain parameters, those two functions equal each other. I know that sage is capable on comparing simple equations like 2*x+4==2*x+4 and print(True) could print True properly, but when functions grow more complicate, it couldn't.

But when I call show() on my functions that sage return to me after symbolic substitution, they're identical, like everything. Which makes me wonder since everything are exactly the same, why sage couldn't properly evaluate equality? And is there any way I could hack around it? Perhaps like breaking them into small parts and ensure each parts are identical?