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/30 06:02] claudio [Attributes] |
manual:chapter3:symbolic [2021/03/22 08:47] claudio |
||
---|---|---|---|
Line 59: | Line 59: | ||
Attributes are hints that the user can include in an expression to increase the knowledge that the system has about certain variables. For example, if variables '' | Attributes are hints that the user can include in an expression to increase the knowledge that the system has about certain variables. For example, if variables '' | ||
- | Attributes allow the user to let the system know that '' | + | Attributes allow the user to let the system know that '' |
+ | |||
+ | 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. Ideally, the user should provide the same attributes to the same variables all throughout the expression (in other words, assumptions about a variable must be consistent, the variable cannot represents different things in different parts of the same expression). The simplest way to assure the attributes are used consistently is using the command '' | ||
+ | |||
+ | |||
+ | ==== Obsolete section - soon to be removed ==== | ||
+ | |||
+ | 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). | 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). |