Revision history [back]
 | 1 | initial version |
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
| | 2 | No.2 Revision |
First, you should know that for symbolic computations, False does not mean i know this , but si is Falsei 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
