Revision history [back]

First, you should know that for symbolic computations, False does not mean i know this si False, but i was not able to prove it is True.

That said, for such simple comparison, Sage should indeed be able to decide, hence i consider this as a bug.

Thanks for reporting, this is now trac ticket 29938 and it is also listed on the symbolic wiki page

First, you should know that for symbolic computations, False does not mean i know this si is False, but i was not able to prove it is True.

That said, for such simple comparison, Sage should indeed be able to decide, hence i consider this as a bug.

Thanks for reporting, this is now trac ticket 29938 and it is also listed on the symbolic wiki page