On Wednesday, April 1, 2015, Jori Mantysalo <[email protected]> wrote:
> On Wed, 1 Apr 2015, Nils Bruin wrote: > > Sage simply doesn't bother to see if a symbolic (in)equality has a >> constant truth value until pushed to do so. And when you do push it, it >> will mostly return False for Cannot determine, which isn't ideal but is >> forced by python's "excluded third" logic. >> > > That was new to me. Why Sage can not raise exception? > > Given the amount of confusion this causes I think we should discuss / consider changing this. > -- > Jori Mäntysalo > -- Sent from my massive iPhone 6 plus. -- You received this message because you are subscribed to the Google Groups "sage-support" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/sage-support. For more options, visit https://groups.google.com/d/optout.
