Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Next revision Both sides next revision | ||
|
manual:chapter3:symbolic [2019/01/25 10:20] claudio |
manual:chapter3:symbolic [2019/01/30 06:02] claudio [Attributes] |
||
|---|---|---|---|
| Line 95: | Line 95: | ||
| | 2 | Value is known not to be < 0 (therefore it's >=0) | | | 2 | Value is known not to be < 0 (therefore it's >=0) | | ||
| | 3 | Value is known not to be < 0 and not to be zero (therefore it's >0) | | | 3 | Value is known not to be < 0 and not to be zero (therefore it's >0) | | ||
| - | | 4 | Value is known not to be > 0 (therefore it's <=0) | | + | | 4 | Value is known not to be > 0 (therefore it' |
| | 5 | Value is known not to be > 0 and not to be zero (therefore it's <0) | | | 5 | Value is known not to be > 0 and not to be zero (therefore it's <0) | | ||