POSVARDEF: Difference between revisions
Jump to navigation
Jump to search
No edit summary |
No edit summary |
||
| Line 7: | Line 7: | ||
3= | 3= | ||
<code>POSVARDEF x</code> tells iMath that <code>x</code> always has a positive real value and therefore <code>abs(x) = x</code>. | <code>POSVARDEF x</code> tells iMath that <code>x</code> always has a positive real value and therefore <code>abs(x) = x</code>. | ||
| | |||
4= | |||
[[REALVARDEF]] | |||
}} | }} | ||
[[Category:Declaration]] | [[Category:Declaration]] | ||
Revision as of 19:30, 27 June 2017
Syntax
POSVARDEF symbol
Implemented in iMath since version 2.2.0 or earlier.
Explanation
Defines the symbol to be positive (and real-valued). This allows iMath to evaluate some functions immediately, e.g. absolute value.
Example
POSVARDEF x tells iMath that x always has a positive real value and therefore abs(x) = x.