On 12.05.2015 09:28, Nathann Cohen wrote:
Okay, so what do we do with this bug?
1) make Sage's default 'max' be 'max_symbolic' (yes/no)
+1 imho the only reason not to do is performance, and it seems to be ok
like pointed Nils pointed out.
2) Return "Unknown" instead of False in the __bool__ function od
symbolic comparisons (yes/no)
as pointed out by Jakob, an additional value will cause some trouble
(which can be fixed) and some confusion for the enduser (which was one
reason for this thread)
Maybe a third option would be to raise an exception and somehow mention
symbolic_min/symbolic_max.
bg,
Johannes
Vincent: I am asking you especially, since you were initially opposed to
it. I only want something (anything) to be done about it.
Nathann
On Saturday, May 9, 2015 at 7:11:42 PM UTC+2, Nils Bruin wrote:
On Saturday, May 9, 2015 at 6:25:49 AM UTC-7, Volker Braun wrote:
Arguably it should raise, though that is possibly only legal in
Python 3
Where does the myth come from that comparison is not allowed to
raise errors in python 2?
Python 2.7.5 (default, Nov 3 2014, 14:33:39)
[GCC 4.8.3 20140911 (Red Hat 4.8.3-7)] on linux2
Type "help", "copyright", "credits" or "license" for more information.
>>> complex(1,2)<complex(3,4)
TypeError: no ordering relation is defined for complex numbers
--
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
<mailto:sage-devel+unsubscr...@googlegroups.com>.
To post to this group, send email to sage-devel@googlegroups.com
<mailto:sage-devel@googlegroups.com>.
Visit this group at http://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.
--
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/d/optout.