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'.
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.
