manual:chapter3:symbolic

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
manual:chapter3:symbolic [2021/03/22 13:52]
claudio [Using rules and attributes, examples]
manual:chapter3:symbolic [2021/03/22 13:52] (current)
claudio [Using rules and attributes, examples]
Line 111: Line 111:
 ^ Rule ^ Effect ^ ^ Rule ^ Effect ^
 | ''%%'%%ABS(.xX:R∞≥0:):->.xX:R∞≥0:%%'%%'' | Simplify absolute value of an expression that is known to be real ≥0 | | ''%%'%%ABS(.xX:R∞≥0:):->.xX:R∞≥0:%%'%%'' | Simplify absolute value of an expression that is known to be real ≥0 |
-| ''%%'%%ABS(.xX:R∞<0:):->-.xX:R∞<0:%%'%%'' | Simplify absolute value of an expression that is known to be real 0 |+| ''%%'%%ABS(.xX:R∞<0:):->-.xX:R∞<0:%%'%%'' | Simplify absolute value of an expression that is known to be real <0 |
  
 The above rules, for example, it can be applied to expressions with different attributes in its variables giving different results: The above rules, for example, it can be applied to expressions with different attributes in its variables giving different results:
  • manual/chapter3/symbolic.1616446336.txt.gz
  • Last modified: 2021/03/22 13:52
  • by claudio