Difference between revisions of "Reduction rules for MathObject Formulas"

From WeBWorK_wiki
Jump to navigation Jump to search
(New page: MathObjects reduces mathematical expressions according to a set of reduction rules. These control which expressions are reduced. <!-- table body generated with: grep -hr 'Parser::reduce' ...)
 
Line 30: Line 30:
 
| <code>fn*x</code> || <code>x*fn</code>
 
| <code>fn*x</code> || <code>x*fn</code>
 
|-
 
|-
| <code>-n</code> || ''If the number is negative, factor it out and try using that in the reductions of the parent objects.''
+
| <code>-n</code> || <small>''If the number is negative, factor it out and try using that in the reductions of the parent objects.''</small>
 
|-
 
|-
| <code>V_n</code> || ''If the right-hand side is constant and the left is a list extract the given coordinate(s). Return empty lists if we run past the end of the coordinates. Return a simpler extraction if a portion of the extraction can be performed.''
 
  +
| <code>V_n</code> || <small>Select the <code>n</code>th item of <code>V</code>.</small>
 
|-
 
|-
 
| <code>x^0</code> || <code>1</code>
 
| <code>x^0</code> || <code>1</code>

Revision as of 23:29, 19 March 2008

MathObjects reduces mathematical expressions according to a set of reduction rules. These control which expressions are reduced.


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