Differences

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

Link to this comparison view

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]
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) |
  
  • manual/chapter3/symbolic.txt
  • Last modified: 2019/01/30 06:02
  • by claudio