Dear Ryan,
Thank you for the reply. That clears up a bit!
~KnS
On Thu, Jun 27, 2013 at 12:19 PM, Ryan Davis <ryan.stance.da...@gmail.com>wrote:
> 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.
>
>
>
--
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.
