When I execute your commands, it looks like Sage does hold your assumptions
true. The first issue I saw/tried to test is the handling of n. If n is
an integer, then x^n == x^3 will hold given your assumptions. But all
you've really done is declare n to be a symbolic variable, which is
presumably real valued, and in that case, x^n == x^3 may well be false.
However, I tried to test that problem by adding assume(n, 'integer') to
this mess, and it still returns False. Digging into it using type on all
this stuff leads me to think that assuming n is an integer does not
override the definition of n as a symbolic variable/expression, and this
may be causing a separate issue. So far, I haven't had any luck in
defining a symbolic integer, but I imagine that if you could do that, then
you'd be fine.
Ryan Davis
On Friday, June 14, 2013 12:37:46 PM UTC-5, KnS wrote:
>
> 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.
