Changes between Initial Version and Version 1 of Ticket #28398, comment 8


Ignore:
Timestamp:
01/28/20 16:03:08 (2 years ago)
Author:
tscrim
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #28398, comment 8

    initial v1  
    1 So this change did not cause that problem, but instead (possibly) #28595. The problem comes from the fact that `mpz_cmp` yields arbitrary positive/negative numbers, but `rich_to_bool` assumes the input is in `[-1, 0, 1]`. Instead, we just need to use `rich_to_bool_sgn`. This is now #29094.
     1So this change did not cause that problem, but instead #28595. The problem comes from the fact that `mpz_cmp` yields arbitrary positive/negative numbers, but `rich_to_bool` assumes the input is in `[-1, 0, 1]`. Instead, we just need to use `rich_to_bool_sgn`. This is now #29094.