# Differences

This shows you the differences between two versions of the page.

Both sides previous revision Previous revision Next revision | Previous revision | ||

manual:chapter3:symbolic [2019/01/25 09:31] claudio [Attributes] |
manual:chapter3:symbolic [2019/01/30 06:02] (current) claudio [Attributes] |
||
---|---|---|---|

Line 81: | Line 81: | ||

| 1 | Variable known to be finite (cannot be infinity or NaN) | | | 1 | Variable known to be finite (cannot be infinity or NaN) | | ||

| 2 | Variable is known to be real, may be infinity/NaN | | | 2 | Variable is known to be real, may be infinity/NaN | | ||

- | | 3 | Variable is known to be real | | + | | 3 | Variable is known to be real (and finite) | |

| 4 | Variable is known to be complex, may be infinity/NaN | | | 4 | Variable is known to be complex, may be infinity/NaN | | ||

- | | 5 | Variable is known to be complex | | + | | 5 | Variable is known to be complex (and finite) | |

| 6 | Variable is known to be a matrix | | | 6 | Variable is known to be a matrix | | ||

| 8 ((Internal use only)) | Variable is known to be of unknown type | | | 8 ((Internal use only)) | Variable is known to be of unknown type | | ||

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's %%<=%%0) | |

| 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) | | ||