Hello!
var('x, n')
assume(n > 3);
assume(x**4 == x**3);
print bool(x**n == x**3);
print bool(x**5 == x**3);
prints False and True. It appears to me that, the assumption assume(n
> 3) is not being considered while checking for the truth of the
statements.
Can someone help me understand what the issue is?
--
You received this message because you are subscribed to the Google Groups
"sage-support" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to sage-support+unsubscr...@googlegroups.com.
To post to this group, send email to sage-support@googlegroups.com.
Visit this group at http://groups.google.com/group/sage-support.
For more options, visit https://groups.google.com/groups/opt_out.
