This shows you the differences between two versions of the page.
| Both sides previous revision
Previous revision
|
Next revision
Both sides next revision
|
manual:chapter3:symbolic [2019/01/24 09:35]
claudio [Using rules and attributes, examples] |
manual:chapter3:symbolic [2019/01/24 10:14]
claudio [Using rules and attributes, examples] |
| |
| ^ Rule ^ Effect ^ | ^ Rule ^ Effect ^ |
| | ''%%'%%ABS(.xX₂₃):->.xX%%'%%'' | Simplify absolute value of an expression that is known to be real >=0 | | | ''%%'%%ABS(.xX₂₂):->.xX%%'%%'' | Simplify absolute value of an expression that is known to be real >=0 | |
| |
| ^ Test cases ^ Result ^ Explanation ^ | ^ Test cases ^ Result ^ Explanation ^ |
| | ''Y*ABS(X₂₃)'' | ''Y*X₂₃'' | The expression matches because ''X'' is known to be a real >=0 | | | ''Y*ABS(X₂₃)'' | ''Y*X₂₃'' | The expression matches because ''X'' is known to be a real >0 | |
| | ''Y*ABS(-4)'' | ''Y*ABS(-4)'' | The expression doesn't match because ''-4'' is known to be a real <0 | | | ''Y*ABS(-4)'' | ''Y*ABS(-4)'' | The expression doesn't match because ''-4'' is known to be a real <0 | |
| | ''Y*ABS(X₂₃+1)'' | ''Y*(X₂₃+1)'' | The expression matches because ''X+1'' is known to be a real >=0 | | | ''Y*ABS(X₂₃+1)'' | ''Y*(X₂₃+1)'' | The expression matches because ''X+1'' is known to be a real >0 | |
| | ''Y*ABS(X₂₃-1)'' | ''Y*ABS(X₂₃-1)'' | The expression matches because ''X-1'' is could be <0 for 0<=x<1 | | | ''Y*ABS(X₂₃-1)'' | ''Y*ABS(X₂₃-1)'' | The expression doesn't match 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'' is 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 | |
| |
| |