Changes between Initial Version and Version 1 of Ticket #12121, comment 29


Ignore:
Timestamp:
09/16/16 08:58:21 (4 years ago)
Author:
mmezzarobba
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #12121, comment 29

    initial v1  
    22> Testing equality of symbolics in general is undecidable. If you remove all expressions with variables however, it is easy
    33
    4 It is undecidable even without variables.
     4It is unknown if it is decidable (afaik) even without variables.
    55
    66> 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?