On Wednesday, April 17, 2013 11:01:47 AM UTC-7, Maarten Derickx wrote:
>
>
>
> 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.
>
That doesn't mean that the function will know what to do with it, as
evidenced here. I guess I meant that the documentation for "assume" says
that the arguments should be "assumptions", without defining what the
means, and includes no examples using "and" or "or". Is "(x<1) and (x>0)"
supported syntax for an "assumption"? In practice, the answer is no...
--
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.
