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? -- Jori Mäntysalo
