Difference between revisions of "Reduction rules for MathObject Formulas"
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 righthand 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

0x 
x

0/x 
0

0.x 
0

0*x 
0

0+x 
x

1^x 
1

1*x 
x

abi 
(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 n th item of V .

x^0 
1

x><0 
0

x0 
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 
yx

x><(y) 
(x><y)

x(y) 
x+y

x/(y) 
(x/y)

x.(y) 
(x.y)

x*(y) 
(x*y)

x+(y) 
xy
