Documentation

This is machine translation

Translated by Microsoft
Mouseover text to see original. Click the button below to return to the English verison of the page.

Note: This page has been translated by MathWorks. Please click here
To view all translated materals including this page, select Japan from the country navigator on the bottom of this page.

Symbolic Solvers

Solve algebraic equations and systems analytically, simplify results, test solutions

MuPAD Functions

linsolve Solve a system of linear equations
poles Poles of expression or function
rec Domain of recurrence equations
RootOf Set of roots of a polynomial
solve Solve equations and inequalities
testeq Check the mathematical equivalence of expressions
solvelib::pdioe Solve polynomial Diophantine equations

Examples and How To

Choose a Solver

The general solvers (solve for symbolic solutions and numeric::solve for numeric approximations) handle a wide variety of equations, inequalities, and systems.

Solve Algebraic Equations and Inequalities

The solver accepts both equations and expressions.

Solve Algebraic Systems

When solving a linear system of symbolic equations, the general solver returns a set of solutions:

Test Results

Suppose you want to verify the solutions of this polynomial equation:

Concepts

If Results Look Too Complicated

By default, the MuPAD® solvers return all possible solutions regardless of their length.

If Results Differ from Expected

Symbolic solutions can be returned in different, but mathematically equivalent forms.

Was this topic helpful?