Changes between Initial Version and Version 1 of Ticket #12121, comment 29
- Timestamp:
- 09/16/16 08:58:21 (4 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #12121, comment 29
initial v1 2 2 > Testing equality of symbolics in general is undecidable. If you remove all expressions with variables however, it is easy 3 3 4 It is un decidableeven without variables.4 It is unknown if it is decidable (afaik) even without variables. 5 5 6 6 > The idea to abuse `cmp` is not mine. Somewhere here `RLF(1) < RLF(sqrt(2))` for example, symbolic `cmp` is called. Should I file a bug report for such usage?