Difference between revisions of "POSVARDEF"

From iMath
Jump to: navigation, search
m
m
 
Line 11: Line 11:
 
[[REALVARDEF]]
 
[[REALVARDEF]]
 
}}
 
}}
[[Category:Declaration]][[Category:Declaration]]
+
[[Category:Declaration]][[Category:Definition]]

Latest revision as of 17:50, 21 September 2018

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.

See also

REALVARDEF