Dear Eviatar,
could you provide some arguments for your choice?
By the way, 'Unknown' is not usable for fixing this issue, because a
value, that is neither True nor False should not be convertible to a
boolean or integer or whatever is accepted by the 'if'-statement, but
'if' seems to accept Unknown :
if not Unknown : print "if should fail, but it succeeds"
is valid code...
Jack
On Thu, August 1, 2013 7:03 pm, Eviatar wrote:
> Maxima does have an unknown answer for comparisons. I'm in favour of the
> exception.
>
> On Wednesday, 9 April 2008 19:18:48 UTC-7, Carl Witty wrote:
>
>>
>> I'd like to reopen discussion of #2781, "bool() for SymbolicEquation
>> should raise an error when it doesn't know the answer". Jason created a
>> prototype patch to implement this, but gave up on it and closed the
>> ticket when he was convinced that "this is not pythonic".
>>
>> I like the "raise an exception" behavior, because it would eliminate
>> questions asking why form1 and form2 below are different (from this
>> sage-support thread
>> http://groups.google.com/group/sage-support/browse_thread/thread/79d0d6
>> d94cfe9526#).
>>
>> (I have seen this exact problem at least twice on sage-support.) What
>> do you think?
>>
>> f(x)=x; def g(x): if (x>=0): return f(x) else:
>> return f(-x);
>>
>> show(plot(g(x),(x,-1,1))) #form1 show(plot(g,-1,1)) #form2
>>
>> Carl
>>
>>
>
> --
> You received this message because you are subscribed to a topic in the
> Google Groups "sage-devel" group.
> To unsubscribe from this topic, visit
> https://groups.google.com/d/topic/sage-devel/vNxnHSeRBW4/unsubscribe.
> To unsubscribe from this group and all its topics, 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
> http://groups.google.com/group/sage-devel.
> For more options, visit https://groups.google.com/groups/opt_out.
>
>
>
>
--
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 http://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/groups/opt_out.
