Difference between revisions of "Reduction rules for MathObject Formulas"

Revision as of 22: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 `n`th 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`

@@ Line 30: / Line 30: @@
 | <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>