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 [2021/03/22 13:12] claudio |
manual:chapter3:symbolic [2021/03/22 13:52] (current) claudio [Using rules and attributes, examples] |
||
---|---|---|---|
Line 79: | Line 79: | ||
* Optional two characters indicating a subset of the field (positive only, negative only, non-zero, etc.) | * Optional two characters indicating a subset of the field (positive only, negative only, non-zero, etc.) | ||
- | ^ First digit ' | + | ^ First one or two characters |
^ Value ^ Meaning ^ | ^ Value ^ Meaning ^ | ||
- | | * ((Will be automatically removed)) | Nothing is known about this variable | | + | | '' |
- | | R∞ | Variable is known to be real, may be infinity/ | + | | '' |
- | | R | Variable is known to be real (and finite) | | + | | '' |
- | | Z | Variable is known to be integer (and finite) | | + | | '' |
- | | Z∞ | Variable is known to be integer, may be infinity/ | + | | '' |
- | | O | Variable is known to be integer and odd (and finite) | | + | | '' |
- | | E | Variable is known to be integer and even (and finite) | | + | | '' |
- | | C∞ | Variable is known to be complex, may be infinity/ | + | | '' |
- | | C | Variable is known to be complex (and finite) | | + | | '' |
- | | M | Variable is known to be a matrix | | + | | '' |
- | | ? ((Internal use only)) | Variable is known to be of unknown type | | + | | '' |
+ | Notice that some combinations above are not valid, for example '' | ||
- | ==== Obsolete section - soon to be removed ==== | + | ^ Optional subset: || |
- | + | ||
- | To add attributes to a variable, simply add a combination of subscript numbers after the variable name. For example, if '' | + | |
- | + | ||
- | Notice that these attributes are only visible when editing the expression. Once the expression is in the stack, only the name of the variable will be visible, as the subscript numbers don't become part of the name of the variable. Ideally, the user should provide the same attributes to the same variables all throughout the expression (otherwise the system will think the variable represents different things in different parts of the same expression). | + | |
- | + | ||
- | Attributes are also useful within rules. If a variable (or wildcard special variable) has any attributes given within a rule definition, it will only match variables (or expressions) that have compatible attributes. For example a rule to cancel out factors in an expression could be: '' | + | |
- | + | ||
- | === Default attributes === | + | |
- | + | ||
- | Variables that aren't given any attributes are by default assumed to be real if complex mode is disabled, and complex if complex mode is enabled. No other assumptions are made about their value (could be in any range, could be zero or infinite, etc.). | + | |
- | + | ||
- | === Encoding of attributes === | + | |
- | + | ||
- | Attributes can be any number of up to 8 decimal digits. The value of zero is reserved for 'no attributes' | + | |
- | + | ||
- | The first 3 digits will be referred to as ' | + | |
- | + | ||
- | The first digit provides hints about the type of variable: | + | |
- | ^ First digit ' | + | |
^ Value ^ Meaning ^ | ^ Value ^ Meaning ^ | ||
- | | 0 ((Will be automatically removed)) | + | | '' |
- | | 1 | Variable known to be finite | + | | '' |
- | | 2 | Variable | + | | ''> |
- | | 3 | Variable | + | | '' |
- | | 4 | Variable | + | | ''< |
- | | 5 | Variable | + | |
- | | 6 | Variable | + | |
- | | 8 ((Internal use only)) | Variable is known to be of unknown type | | + | |
- | The second digit provides insight about the sign and range of values. It is meaningful | + | The subsets above are only applicable to real numbers |
- | ^ Second digit ' | + | ==== Using rules and attributes, examples ==== |
- | ^ Value ^ Meaning ^ | + | |
- | | 0 ((Will be removed/ | + | |
- | | 1 | Value is known not to be zero ((This is valid for real AND complex numbers)) | | + | |
- | | 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) | | + | |
- | | 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) | | + | |
- | The third digit provides insight about the parity of the number, and whether | + | Here are a few examples where using attributes |
- | ^ Third digit 'p' (parity): || | + | ^ Rule ^ Effect ^ |
- | ^ Value ^ Meaning ^ | + | | ''%%'%%ABS(.xX: |
- | | 0 ((Will be removed/ | + | | '' |
- | | 1 | Value if known to be an integer | | + | |
- | | 2 | Value is known to be odd | | + | |
- | | 3 | Value is known to be an odd integer | | + | |
- | | 4 | Value is known to be even | | + | |
- | | 5 | Value is known to be an even integer | + | |
- | + | The above rules, | |
- | ==== Using rules and attributes, examples ==== | + | |
- | + | ||
- | ^ Rule ^ Effect ^ | + | |
- | | '' | + | |
^ Test cases ^ Result ^ Explanation ^ | ^ Test cases ^ Result ^ Explanation ^ | ||
- | | '' | + | | '' |
- | | '' | + | | '' |
- | | '' | + | | '' |
- | | '' | + | | '' |
- | | '' | + | | '' |
+ | | '' | ||
+ | | '' | ||