This is documentation for Mathematica 6, which was
based on an earlier version of the Wolfram Language.
 Formula Manipulation Mathematica handles formulas of all types, from polynomials with millions of terms to complex combinations of higher mathematical functions. It provides powerful general transformation and simplification functions that automatically call on thousands of rules and algorithms—many original to Wolfram Research. Simplify — simplify, perhaps with assumptions about variables FullSimplify — apply full simplification procedures FunctionExpand — expand in terms of more elementary functions      Expand — expand out algebraic expressions Factor — factor algebraic expressions      Reduce — reduce out equations and inequalities Series — find a series approximation      Extracting Parts of Formulas Formula Rearrangement Formula Testing           TraditionalForm — display a formula in traditional math notation TUTORIALS Simplification Simplifying Algebraic Expressions Simplifying with Assumptions Picking Out Pieces of Algebraic Expressions Putting Expressions into Different Forms Structural Operations on Rational Expressions MORE ABOUT Polynomial Algebra Rational Functions Pattern Matching Inequalities RELATED LINKS Demonstrations related to Formula Manipulation (The Wolfram Demonstrations Project)