015-10-19 15:46 GMT-04:00 Chris Barker :
>
>
> On Mon, Oct 19, 2015 at 3:06 AM, cy18 wrote:
>
>> I think these would be useful and easy to implement.
>>
>> greater_close(a, b) = greater_equal(a, b) | isclose(a, b)
>> less_close(a, b) = less_equal(a, b)
I think these would be useful and easy to implement.
greater_close(a, b) = greater_equal(a, b) | isclose(a, b)
less_close(a, b) = less_equal(a, b) | isclose(a, b)
greater_no_close = greater(a, b) & ~isclose(a, b)
less_no_close = less(a, b) & ~isclose(a, b)
The results are element-