sympy/sympy — pull request #7834 by cbm755 (2014-08-07 11:18:45+00:00)
Title: [WIP] NaN inequalities should raise TypeError

See PR #7776 for discussion.

- [x] NumberSymbol needs special case.
- [ ] `oo` needs special case.
- [ ] lots of asymmetric results: IMHO we really do want *lots* of tests, not just spot tests, sorry @smichr!
- [x] All of this is for the binary ops, `Lt` is not tackled, that is pr #7783.
- [ ] clean up tests, currently failing.