Changes between Initial Version and Version 1 of Ticket #2950, comment 17
- Timestamp:
- 11/14/18 19:25:44 (6 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #2950, comment 17
initial v1 1 Ok, since you still call this "hashing" I assume you create a random lybitvector for each different real-valued constant1 Ok, since you still call this "hashing" I assume you create a random bitvector for each different real-valued constant 2 2 - How do you determine whether two real-valued constants are equal? 3 3 - How do you detect that e.g. 2*1.0 should have the same hash-value as 2.0?
