| Both sides previous revision
Previous revision
Next revision
|
Previous revision
|
manual:chapter3:symbolic [2021/03/22 13:48]
claudio [Using rules and attributes, examples] |
manual:chapter3:symbolic [2021/03/22 13:52] (current)
claudio [Using rules and attributes, examples] |
| |
| ^ 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: |
| | ''Y*ABS(X:R>0:+1)'' | ''Y*(X+1)'' | The expression matches the first rule because ''X+1'' is known to be a real >0 | | | ''Y*ABS(X:R>0:+1)'' | ''Y*(X+1)'' | The expression matches the first rule because ''X+1'' is known to be a real >0 | |
| | ''Y*ABS(X:R>0:-1)'' | ''Y*ABS(X-1)'' | The expression doesn't match either rule because ''X-1'' could be <0 for 0<x<1 | | | ''Y*ABS(X:R>0:-1)'' | ''Y*ABS(X-1)'' | The expression doesn't match either rule because ''X-1'' could be <0 for 0<x<1 | |
| | ''Y*ABS%%((X₂₃-1)%%^2)'' | ''Y*(X₂₃-1)^2'' | The expression matches because ''(X-1)^2'' is known to be >=0 | | | ''Y*ABS%%((X:R>0:-1)%%^2)'' | ''Y*(X-1)^2'' | The expression matches because ''(X-1)^2'' is known to be >=0 | |
| | | ''Y*ABS%%((X-1)%%^2)'' | ''Y*(X-1)^2'' | The expression matches because ''(X-1)^2'' is known to be >=0 regardless of X | |
| |
| |