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 False`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

Copyright Sage, 2010. Some rights reserved under creative commons license. Content on this site is licensed under a Creative Commons Attribution Share Alike 3.0 license.