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?
It would be better to try with
simplification_routines(expression1-expression2)==0
instead of
expression1==expression2
or
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)You are fitting things to a known answer. This is not how Sage should work.
This indeed yields True. Thank you!
Asked: 0 years ago
Seen: 128 times
Last updated: Feb 01
Copyright Sage, 2010. Some rights reserved under creative commons license. Content on this site is licensed under a Creative Commons Attribution Share Alike 3.0 license.
Looks like a bug, please report at https://github.com/sagemath/sage/issues
Thanks! It has now been reported.
For the record: https://github.com/sagemath/sage/issues/39319