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.

Reply via email to