Changes between Version 1 and Version 2 of Ticket #12121, comment 28
 Timestamp:
 03/24/16 16:12:31 (5 years ago)
Legend:
 Unmodified
 Added
 Removed
 Modified

Ticket #12121, comment 28
v1 v2 1 Testing equality of symbolics in general undecidable. If you remove all expressions with variables however, it is easy: convert symbolic constants and function expressions to float as in `N()`, compare. Of course there are precision problems but that's nothing in comparison to what you get with variables.1 Testing equality of symbolics in general is undecidable. If you remove all expressions with variables however, it is easy: convert symbolic constants and function expressions to float as in `N()`, compare. Of course there are precision problems but that's nothing in comparison to what you get with variables. 2 2 3 3 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? 4 5 EDIT: typos