Le mercredi 17 avril 2013 18:07:04 UTC+2, John H Palmieri a écrit :
>
>
>
> On Wednesday, April 17, 2013 8:58:15 AM UTC-7, Francois Maltey wrote:
>>
>> Hello everyone,
>>
>> I must declare "assume" twice. First time, I get an unevalued form.
>> After the second assume, I get the fine result :
>> I use Sage 5.7
>>
>> sage: forget () ; var('n')
>> n
>> sage: assume ((x<1) and (x>0))
>>
>
> Is "assume((x<1) and (x>0))" supported syntax? If you use "assume(x<1,
> x>0)" instead, I think your example works with just one assume statement.
>
>
Yes, "(x<1) and (x>0)" is just a python expression, and you can give that
as an argument to a function. The reason why he has to assume twice is
sage: (x<1) and (x>0)
x < 1
sage: assume(x<1)
sage: (x<1) and (x>0)
x > 0
The assume changes the truth value of the statement x<1 causing the
expresion (x<1) and (x>0) to return x>0 instead of (x<1).
The problem is that it is not yet possible to do symbolic logic using
symbolic expressions in sage.
> --
> John
>
>
--
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 [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-support?hl=en.
For more options, visit https://groups.google.com/groups/opt_out.
