caballa opened this issue 7 years ago · 0 comments
Strict inequalities are needed for rationals. For integers we can always replace x < y with x <= y-1. This issue is related to issue #10 .
x < y
x <= y-1