Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
manual:chapter3:symbolic [2019/01/24 09:35] claudio [Using rules and attributes, examples] |
manual:chapter3:symbolic [2019/01/25 09:31] claudio [Attributes] |
||
---|---|---|---|
Line 79: | Line 79: | ||
^ Value ^ Meaning ^ | ^ Value ^ Meaning ^ | ||
| 0 ((Will be automatically removed)) | Nothing is known about this variable | | | 0 ((Will be automatically removed)) | Nothing is known about this variable | | ||
- | | 1 | Variable | + | | 1 | Variable |
- | | 2 | Variable is known to be real | | + | | 2 | Variable is known to be real, may be infinity/ |
- | | 3 | Variable is known to be real, may be infinity/ | + | | 3 | Variable is known to be real | |
- | | 4 | Variable is known to be complex | | + | | 4 | Variable is known to be complex, may be infinity/ |
- | | 5 | Variable is known to be complex, may be infinity/ | + | | 5 | Variable is known to be complex | |
| 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 113: | Line 113: | ||
^ Rule ^ Effect ^ | ^ Rule ^ Effect ^ | ||
- | | '' | + | | '' |
^ Test cases ^ Result ^ Explanation ^ | ^ Test cases ^ Result ^ Explanation ^ | ||
- | | '' | + | | '' |
| '' | | '' | ||
- | | '' | + | | '' |
- | | '' | + | | '' |
- | | '' | + | | '' |