Algebraic Manipulation

Algebraic simplification is useful in its own right. Within SymPy, though, it is mostly used indirectly as a tool in other areas of the library. In fact, many mathematical problems in symbolic computing are first expressed using entities from the symbolic core before they are preprocessed and transformed into a problem in polynomial algebra, where generic and efficient algorithms are used to solve the problem. The solution to the original problem is then subsequently recovered from the results.