REALVARDEF: Difference between revisions
Jump to navigation
Jump to search
No edit summary |
mNo edit summary |
||
| (One intermediate revision by the same user not shown) | |||
| Line 4: | Line 4: | ||
| | | | ||
Defines the symbol to be real-valued. This allows iMath to evaluate some functions immediately, e.g. complex conjugation. | Defines the symbol to be real-valued. This allows iMath to evaluate some functions immediately, e.g. complex conjugation. | ||
Note that the real-valued symbol is not identical with another symbol that has the same name but a different domain. To avoid confusion, always define your symbols as real before you use them for the first time. | |||
| | | | ||
3= | 3= | ||
| Line 11: | Line 13: | ||
[[POSVARDEF]] | [[POSVARDEF]] | ||
}} | }} | ||
[[Category:Declaration]] | [[Category:Declaration]][[Category:Definition]] | ||
Latest revision as of 20:39, 21 February 2025
Syntax
REALVARDEF symbol
Implemented in iMath since version 2.2.0 or earlier.
Explanation
Defines the symbol to be real-valued. This allows iMath to evaluate some functions immediately, e.g. complex conjugation.
Note that the real-valued symbol is not identical with another symbol that has the same name but a different domain. To avoid confusion, always define your symbols as real before you use them for the first time.
Example
REALVARDEF x tells iMath that x always has a real value and therefore conjugate(x) = x.