How to determine equality of symbolic expressions?

ki
1 ●1

I expect the following code to yield True, but instead it is False:

var('x, y, n')
assume(n,'integer')
assume(n >= 0)
bool((x-y)^n==(-1)^n*(y-x)^n)

Is there anything I can do to enable the equality to be recognized?

Comments

Max Alekseyev ( 2025-01-11 07:35:28 +0100 )edit

Thanks! It has now been reported.

ki ( 2025-01-11 17:50:35 +0100 )edit

tolga
567 ●1 ●11 ●27

It would be better to try with

simplification_routines(expression1-expression2)==0

instead of

expression1==expression2

simplification_routines(expression1)=simplification_routines(expression2)

The following code seems to yield true:

var('x, y, n')
assume(n,'integer')
assume(n >= 0)
bool((((x-y)^n)-(-1)^n*(y-x)^n).expand().canonicalize_radical()==0)

Comments

You are fitting things to a known answer. This is not how Sage should work.

Max Alekseyev ( 2025-01-11 07:35:58 +0100 )edit

This indeed yields True. Thank you!

ki ( 2025-01-11 17:50:16 +0100 )edit

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.