Difference between revisions of "Reduction rules for MathObject Formulas"
Jump to navigation
Jump to search
m (List of MathObjects reduction rules moved to List of parser reduction rules for MathObject Formulas: Reduction really involves the parser rules) |
m (moved List of parser reduction rules for MathObject Formulas to Reduction rules for MathObject Formulas: Shorten the name to find it easier in the category list) |
(No difference)
| |
Revision as of 17:09, 2 August 2012
MathObjects reduces mathematical expressions according to a set of reduction rules. These control which expressions are reduced. Reductions can be turned off in two ways:
For all subsequent reduce operations in the problem:
Context()->reduction->set('x/1'=>0);
For a single reduction:
$f->reduce('x/1'=>0);
| Rule | Reduction |
|---|---|
0><x |
0
|
0-x |
-x
|
0/x |
0
|
0.x |
0
|
0*x |
0
|
0+x |
x
|
1^x |
1
|
1*x |
x
|
-a-bi |
-(a+bi)
|
fn*x |
x*fn
|
-n |
If the number is negative, factor it out and try using that in the reductions of the parent objects. |
V_n |
Select the nth item of V.
|
x^0 |
1
|
x><0 |
0
|
x-0 |
x
|
x.0 |
0
|
x*0 |
0
|
x+0 |
x
|
-(-x) |
x
|
+x |
x
|
x^(-1) |
1/x
|
x/1 |
x
|
x*1 |
x
|
-x=n |
x=-n
|
x*n |
n*x
|
-x=-y |
x=y
|
(-x)><y |
x><-y
|
(-x)-y |
-(x+y)
|
(-x)/y |
-(x/y)
|
(-x).y |
-(x.y)
|
(-x)*y |
-(x*y)
|
(-x)+y |
y-x
|
x><(-y) |
-(x><y)
|
x-(-y) |
x+y
|
x/(-y) |
-(x/y)
|
x.(-y) |
-(x.y)
|
x*(-y) |
-(x*y)
|
x+(-y) |
x-y
|
