On Tue, Feb 23, 2016 at 9:37 AM, Eric Gourgoulhon
<egourgoul...@gmail.com> wrote:
> Hi,
>
> Le mardi 23 février 2016 16:39:20 UTC+1, William a écrit :
>>
>>
>> It seems to me that
>>
>> sage: x = var('x')
>> sage: bool(x!=infinity)
>> False
>>
>> *is* a newly introduced bug. I can't understand how the above
>> behavior could be justified
>
>
> In the same vein, note that
>
> sage: x = SR.var('x', domain='real')
> sage: bool(x != 0)
> False
>
> while at the same time:
>
> sage: bool(x == 0)
> False
>
> so that x!=0 differs from not x==0...
> cf. https://groups.google.com/d/msg/sage-devel/2ppi74WPUUA/dKBzA5vECQAJ
> As I understand it, this non-binary logic is introduced by returning False
> instead of 'Cannot decide'.
Yes, that I understand.
But in this case it seems like deciding is pretty easy to do?
>
> Best wishes,
>
> Eric.
>
> --
> You received this message because you are subscribed to the Google Groups
> "sage-devel" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to sage-devel+unsubscr...@googlegroups.com.
> To post to this group, send email to sage-devel@googlegroups.com.
> Visit this group at https://groups.google.com/group/sage-devel.
> For more options, visit https://groups.google.com/d/optout.
--
William (http://wstein.org)
--
You received this message because you are subscribed to the Google Groups
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to sage-devel+unsubscr...@googlegroups.com.
To post to this group, send email to sage-devel@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.
